danieljharvey / wasm-calc
Building a compiler to WASM step-by-step
☆13Updated last week
Alternatives and similar repositories for wasm-calc:
Users that are interested in wasm-calc are comparing it to the libraries listed below
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- A simple functional programming language.☆21Updated 3 years ago
- ICFP tutorial☆39Updated 3 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- LLVM code generation in Haskell☆54Updated 5 months ago
- Eventually a practical 2-level TT-based compiler☆27Updated last week
- Demo for dependent types + runtime code generation☆68Updated last month
- ☆20Updated last week
- Example language server (LSP) implementation for a toy language☆60Updated 3 years ago
- Fast equality saturation in Haskell☆84Updated last month
- Lambda normalization and conversion checking benchmarks for various implementations☆55Updated 3 years ago
- GHC plugin for automatic case splitting☆16Updated this week
- Staged push/pull fusion with typed Template Haskell☆57Updated last year
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated 9 months ago
- Reimplementation of Parsley in Haskell, with improvements☆52Updated last year
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆25Updated 3 weeks ago
- A bidirectional type checker☆62Updated 7 years ago
- GRIN backend for Idris2☆34Updated 2 years ago
- ☆47Updated 4 months ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆49Updated 8 months ago
- Algebraic effects in the Bluefin effect system☆16Updated 10 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Type-safe WebAssembly eDSL in Haskell☆25Updated 5 months ago
- NbE course @ Chalmers☆28Updated 6 months ago
- Bidirectional Parsing. Work in Progress☆32Updated 6 months ago
- ☆25Updated 2 years ago
- Existential type.☆37Updated 3 months ago
- Type inference from scratch - Material for my talk at F(by)19☆64Updated 5 years ago
- A tutorial on how Agda infers things☆41Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 9 months ago