danieljharvey / wasm-calcLinks
Building a compiler to WASM step-by-step
☆14Updated 2 months ago
Alternatives and similar repositories for wasm-calc
Users that are interested in wasm-calc are comparing it to the libraries listed below
Sorting:
- ☆25Updated 2 years ago
- Haskell port of the Nanopass Compiler Framework☆22Updated last year
- Type-safe WebAssembly eDSL in Haskell☆26Updated 7 months ago
- A simple functional programming language.☆21Updated 3 years ago
- GHC plugin for automatic case splitting☆16Updated last month
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Lambda normalization and conversion checking benchmarks for various implementations☆58Updated 4 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆26Updated 2 months ago
- Fast equality saturation in Haskell☆84Updated 3 months ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- A Really Cool Calculator written in Haskell... or is it?☆43Updated 3 years ago
- ICFP tutorial☆39Updated 3 years ago
- Algebraic effects in the Bluefin effect system☆17Updated last year
- LLVM code generation in Haskell☆54Updated 7 months ago
- GRIN backend for Idris2☆34Updated 2 years ago
- Example language server (LSP) implementation for a toy language☆59Updated 3 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆52Updated 10 months ago
- Eventually a practical 2-level TT-based compiler☆27Updated 2 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated 11 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆30Updated last year
- Staged push/pull fusion with typed Template Haskell☆59Updated last year
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 2 months ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- An interface for GHC type-checking plugins☆20Updated 6 months ago
- Existential type.☆37Updated 5 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated this week
- being bits and pieces I'm inclined to leave lying around☆50Updated 5 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Updated 3 years ago
- Type inference from scratch - Material for my talk at F(by)19☆64Updated 5 years ago