danieljharvey / wasm-calc
Building a compiler to WASM step-by-step
☆14Updated last month
Alternatives and similar repositories for wasm-calc:
Users that are interested in wasm-calc are comparing it to the libraries listed below
- A simple functional programming language.☆21Updated 3 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆25Updated last month
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- ☆21Updated this week
- ICFP tutorial☆39Updated 3 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆50Updated 8 months ago
- Lambda normalization and conversion checking benchmarks for various implementations☆56Updated 4 years ago
- GHC plugin for automatic case splitting☆16Updated 2 weeks ago
- A bidirectional type checker☆63Updated 7 years ago
- Staged push/pull fusion with typed Template Haskell☆59Updated last year
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Setoid type theory implementation☆38Updated last year
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated 10 months ago
- Fast equality saturation in Haskell☆84Updated 2 months ago
- A Really Cool Calculator written in Haskell... or is it?☆41Updated 3 years ago
- A Haskell 2010 type checker☆17Updated last year
- LLVM code generation in Haskell☆54Updated 5 months ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Updated 3 years ago
- ☆12Updated 4 years ago
- Demo for dependent types + runtime code generation☆69Updated 2 months ago
- Efficient Haskell effect handlers based on evidence translation.☆82Updated 3 years ago
- GRIN backend for Idris2☆34Updated 2 years ago
- ☆25Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- Benchmarks for capture-avoiding substitution☆113Updated last week
- being bits and pieces I'm inclined to leave lying around☆50Updated 4 months ago
- Bidirectional Parsing. Work in Progress☆32Updated 7 months ago