moonad / Moonad
Moonad: a p2p academic journal, or a social network for code?
☆28Updated 2 years ago
Alternatives and similar repositories for Moonad:
Users that are interested in Moonad are comparing it to the libraries listed below
- Specification of the Formality proof and programming language☆41Updated last year
- Agda libraries relevant to Moonad☆14Updated 5 years ago
- ☆36Updated 3 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Dependently-typed finite maps (partial dependent products)☆65Updated 7 months ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 5 years ago
- An upcoming operating system built on Type-Theory☆43Updated 4 years ago
- Minimal, efficient proof language☆14Updated 5 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated last year
- An implementation of the Formality language in JavaScript☆72Updated 5 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- small programming language. pls be gentle.☆39Updated this week
- Absal ex☆56Updated last year
- Fωμ type checker and compiler☆52Updated last year
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆17Updated 5 years ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- UnionType in Idris☆11Updated 6 years ago
- Observational Type Theory as an Agda library☆52Updated 7 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 5 months ago
- Package manager for Idris☆35Updated 2 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 5 months ago
- Classical Logic in Haskell☆23Updated last year
- An efficient graph library for Haskell☆39Updated 5 months ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago