This is stars and forks stats for /RedPRL/agda-mugen repository. As of 20 Apr, 2024 this repository has 13 stars and 1 forks.
♾ mugen 無限 in Agda This is a formalization of the displacement algebras, their properties, and part of meta-theoretic analysis found in our POPL 2023 paper “An Order-Theoretic Analysis of Universe Polymorphism”. The accompanying OCaml implementation is at https://github.com/RedPRL/mugen/. Mechanized Results Displacement Algebras Displacements Paper Section Agda Module OCaml Module(s) Natural numbers 3.3.1 Nat Nat and Nat Integers 3.3.1 Int Int and Int Non-positive integers 3.3.1 NonPositive NonPositive...
♾ mugen 無限 in Agda This is a formalization of the displacement algebras, their properties, and part of meta-theoretic analysis found in our POPL 2023 paper “An Order-Theoretic Analysis of Universe Polymorphism”. The accompanying OCaml implementation is at https://github.com/RedPRL/mugen/. Mechanized Results Displacement Algebras Displacements Paper Section Agda Module OCaml Module(s) Natural numbers 3.3.1 Nat Nat and Nat Integers 3.3.1 Int Int and Int Non-positive integers 3.3.1 NonPositive NonPositive...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
nxp-qoriq/qoriq-components_meta-qoriq | BitBakeShellNASL | 2 | 0 | 6 | 0 |
AprilRobotics/apriltag | COther | 1.2k | 0 | 452 | 0 |
TuGraph-db/tugraph-db | C++PythonC | 818 | 0 | 133 | 0 |
openxrlab/xrnerf | C++FortranPython | 521 | 0 | 47 | 0 |
liveviewnative/elixirconf_chat | ElixirHTMLSwift | 84 | 0 | 10 | 0 |
BeaconCMS/beacon | ElixirOther | 578 | +25 | 57 | +3 |
cashapp/redwood | KotlinOther | 1.3k | 0 | 50 | 0 |
pop-os/shell | TypeScriptJavaScriptShell | 4.4k | +3 | 256 | 0 |
koush/scrypted | TypeScriptPythonVue | 3k | 0 | 195 | 0 |
aws-amplify/docs | MDXTypeScriptJavaScript | 451 | 0 | 937 | +1 |