lexi-lambda / racket-mvarLinks
An implementation of Haskell’s MVars in Racket
☆28Updated 7 months ago
Alternatives and similar repositories for racket-mvar
Users that are interested in racket-mvar are comparing it to the libraries listed below
Sorting:
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 8 months ago
- ☆17Updated last year
- Session types in Idris2!☆27Updated 4 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆30Updated 4 years ago
- 🪆 A Staged Type Theory☆35Updated last year
- A formalization of System Fω in Agda☆17Updated 3 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Anders: Cubical Type Checker☆24Updated last year
- being an implementation of the calculus of constructions☆17Updated 2 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- A very little language☆16Updated last year
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago
- A TOML parser for Idris 2☆17Updated 11 months ago
- ☆16Updated 3 months ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- A Teeny Type Theory☆26Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- Denotational Semantics of the Untyped Lambda Calculus☆16Updated 3 months ago
- Experiment with synthetic domain theory in cubical agda☆14Updated 2 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- Formalization of type theory☆22Updated 3 years ago
- A formalization of the theory behind the mugen library☆19Updated 11 months ago
- Formalization of CBPV extended with effect and coeffect tracking☆12Updated 9 months ago
- Graded Dependent Type systems☆24Updated last year
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Updated 6 years ago