lexi-lambda / shattered-plansLinks
☆37Updated 2 years ago
Alternatives and similar repositories for shattered-plans
Users that are interested in shattered-plans are comparing it to the libraries listed below
Sorting:
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- being bits and pieces I'm inclined to leave lying around☆50Updated 5 months ago
- Haskell port of the Nanopass Compiler Framework☆22Updated last year
- ☆25Updated 2 years ago
- A simple functional programming language.☆21Updated 4 years ago
- ☆41Updated last year
- Build tool for ATS.☆41Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 11 months ago
- Existential type.☆37Updated 5 months ago
- Generic functions for single-sorted first-order structural unification☆46Updated last month
- ICFP tutorial☆39Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆30Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- Reimplementation of a subset of Cabal☆27Updated 2 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Updated 5 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 3 years ago
- A library for doing generic programming in Agda☆31Updated 4 years ago
- being a particular fragment of Haskell, extended to a proof system☆32Updated 3 months ago
- Eventually a practical 2-level TT-based compiler☆27Updated 2 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- ☆39Updated 9 months ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- being some thoughts about introductory mathematics for computer science☆17Updated 10 months ago
- An experimental typing of Lojban grammar, in Haskell☆13Updated 11 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- OCaml backend for Idris2☆19Updated 4 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Updated last year
- being the materials for a paper I have in mind to write about the bidirectional discipline☆52Updated 10 months ago