glenbraun / JsonPiLinks
A pi calculus interpreter
☆21Updated 7 years ago
Alternatives and similar repositories for JsonPi
Users that are interested in JsonPi are comparing it to the libraries listed below
Sorting:
- The Ur/Web People Organizer☆30Updated last year
- ☆35Updated 11 years ago
- Normalization by Evaluation for Martin-Löf Type Theory☆127Updated last year
- Standard library for the Formality language☆18Updated 5 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆60Updated 8 years ago
- An experimental type checker for a modal dependent type theory.☆112Updated 5 years ago
- Domain Specific Languages for Computational Law☆75Updated 3 months ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- ☆26Updated 10 years ago
- An upcoming operating system built on Type-Theory☆43Updated 4 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆44Updated 3 years ago
- Real number computation software☆124Updated 2 years ago
- language verification, construction, and analysis☆20Updated 3 years ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆17Updated 5 years ago
- Paper and talk☆54Updated last year
- ☆35Updated last year
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- A webapp for developing and sharing Alloy models☆24Updated 11 months ago
- A showcase of interesting code and proof developments in Cedille☆36Updated 2 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 3 years ago
- TiML: A Functional Programming Language with Time Complexity☆79Updated 7 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 3 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 6 years ago
- Moonad: a Peer-to-Peer Operating System☆102Updated 5 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago