moonad / MoonadLinks
Moonad: a p2p academic journal, or a social network for code?
☆27Updated 3 years ago
Alternatives and similar repositories for Moonad
Users that are interested in Moonad are comparing it to the libraries listed below
Sorting:
- Specification of the Formality proof and programming language☆41Updated 3 years ago
- An implementation of the Formality language in JavaScript☆71Updated 6 years ago
- ☆36Updated 4 years ago
- an implementation of stuck macros☆152Updated last month
- An upcoming operating system built on Type-Theory☆43Updated 5 years ago
- A minimal proof language.☆212Updated 7 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Updated 6 years ago
- The Makam Metalanguage☆199Updated 2 years ago
- Collection of Kind2 programs and proofs☆12Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆60Updated last year
- Package manager for Idris☆37Updated 3 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 11 months ago
- theseus, functional programming language with fully reversible computation☆126Updated 6 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 8 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 6 years ago
- For parts of https://www.ats-lang.org☆26Updated 7 months ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆116Updated 8 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- Text generation language☆34Updated 4 months ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated this week
- A core language and API for dependently typed languages☆97Updated 11 months ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆47Updated 3 years ago
- A pure type system implemented in OCaml☆78Updated 5 years ago
- Normalization by Evaluation for Martin-Löf Type Theory☆130Updated last year
- LLVM code generation in Haskell☆54Updated last year
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 7 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆85Updated 9 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- 🧊 Модальний гомотопічний верифікатор математики☆24Updated 8 months ago
- Toy typechecker for Insanely Dependent Types☆82Updated 3 months ago