kritzcreek / nemo-lang
A small procedural programming language that compiles to Wasm GC
☆14Updated last month
Alternatives and similar repositories for nemo-lang:
Users that are interested in nemo-lang are comparing it to the libraries listed below
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Updated 3 months ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆14Updated 7 years ago
- ICFP tutorial☆39Updated 3 years ago
- Existential type.☆36Updated last month
- A Haskell to Coq compiler that represents effectful programs with the free monad☆44Updated 2 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 4 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- A Haskell implementation of the Formality language☆18Updated 4 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Updated last year
- Playing with incremental parsing and later compiler passes☆12Updated 6 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- A simple functional programming language.☆21Updated 3 years ago
- ☆16Updated 3 years ago
- being bits and pieces I'm inclined to leave lying around☆49Updated 2 months ago
- NbE course @ Chalmers☆28Updated 4 months ago
- An efficient finite map from (byte)strings to values.☆20Updated last week
- lazy generators with observation☆14Updated last year
- being a particular fragment of Haskell, extended to a proof system☆26Updated this week
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- A library for benign effects in Haskell☆20Updated last week
- being an experiment with potato power☆23Updated 5 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- A Haskell 2010 type checker☆16Updated 11 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Updated 3 years ago
- Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck☆36Updated 3 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Updated 5 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Updated 2 years ago
- Dependent hash maps☆14Updated 8 months ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- Add early return to any do-expression☆46Updated 3 years ago