edemko / nanopass
Haskell port of the Nanopass Compiler Framework
☆10Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for nanopass
- 📺 The power of Haskell in your terminal!☆42Updated 3 weeks ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 11 months ago
- ☆16Updated 7 months ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated last week
- Linear lens☆20Updated 9 months ago
- Using cabal-install as SAT solver☆13Updated last year
- ☆40Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆22Updated 2 months ago
- Haskell bindings to Chez Scheme☆10Updated last year
- Let's rethink how we interact with Agda☆18Updated 2 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- A usable type system for call by push-value☆28Updated 4 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆16Updated 5 months ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆19Updated 7 months ago
- Fast equality saturation in Haskell☆77Updated 6 months ago
- Existential type.☆36Updated 6 months ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical types☆25Updated this week
- LLVM code generation in Haskell☆50Updated 3 weeks ago
- Data frames for Idris 2☆21Updated last year
- A dependently typed programming language with direct style effects and linearity☆19Updated 4 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Reimplementation of a subset of Cabal☆23Updated this week
- Modern Compiler Implementation in ML, in Haskell☆19Updated 3 years ago
- Session types framework with support of protocol pipelining.☆15Updated last month
- OCaml backend for Idris2☆19Updated 4 years ago
- Demo for dependent types + runtime code generation☆48Updated this week
- ☆17Updated last week