thma / lambda-ski
Implementing a small functional language with a combinator based graph-reduction machine
☆28Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for lambda-ski
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 11 months ago
- ☆47Updated last month
- A compiler that translates a form of lambda calculus to C☆12Updated 7 months ago
- Reimplementation of a subset of Cabal☆23Updated last week
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- Example uses of linear types☆43Updated 4 years ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated last week
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- Lambda normalization and conversion checking benchmarks for various implementations☆55Updated 3 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated this week
- ☆28Updated 2 years ago
- Session types framework with support of protocol pipelining.☆15Updated last month
- A Haskell libary for fast arrowized FRP based on signal functions☆17Updated 3 months ago
- Algebraic effects in the Bluefin effect system☆13Updated 6 months ago
- Compiler backend for generating Scheme code☆26Updated last year
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Type-safe WebAssembly eDSL in Haskell☆21Updated last month
- Anders: Cubical Type Checker☆18Updated last year
- ☆24Updated 2 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated last year
- Session Types with Priority in Linear Haskell☆25Updated 5 months ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆19Updated 7 months ago