kritzcreek / nemo-lang
A small procedural programming language that compiles to Wasm GC
☆12Updated this week
Related projects ⓘ
Alternatives and complementary repositories for nemo-lang
- Playing with incremental parsing and later compiler passes☆12Updated 5 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Updated 3 weeks ago
- Existential type.☆36Updated 6 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- ICFP tutorial☆40Updated 3 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 6 years ago
- Reification of data structures using observable sharing☆28Updated 3 weeks ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Updated last year
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 2 years ago
- A simple tool for visualising differences in Criterion benchmark results☆14Updated 4 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆13Updated 4 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- ScopeT and ScopeH☆13Updated 3 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- being the emperor of Mongo, but also a verb☆15Updated 5 years ago
- Add early return to any do-expression☆46Updated 3 years ago
- Category theory formalized in cubical agda☆20Updated 4 years ago
- ☆22Updated last year
- Flexible Haskell library for parsing and printing S-Expressions☆20Updated 3 weeks ago
- being bits and pieces I'm inclined to leave lying around☆46Updated last month
- A text editor zipper libary☆17Updated last week
- a new, WIP Haskell compiler☆14Updated 4 years ago
- Clowns to the left of me, jokers to the right☆14Updated 5 years ago
- Haskell library of row polymorphic record manipulator☆19Updated 4 years ago
- A library for benign effects in Haskell☆20Updated 2 years ago
- being an experiment with potato power☆23Updated 4 years ago
- ☆12Updated 4 years ago
- Parse bytes fast☆24Updated 6 months ago