samsergey / monopigLinks
Monoidal stack machine
☆10Updated 6 years ago
Alternatives and similar repositories for monopig
Users that are interested in monopig are comparing it to the libraries listed below
Sorting:
- (DEPRECATED) Front-end of Copilot defining the user language.☆15Updated 4 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- An extended typed Lambda Calculus☆21Updated 10 months ago
- Compiler for the Rum language☆26Updated 5 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Updated 6 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- typesafe implementation of tensor algebra in Haskell☆13Updated 4 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 13 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- an experiment in presenting code.☆14Updated 4 years ago
- A Haskell implementation of the tiger compiler☆10Updated 5 years ago
- topos programming☆31Updated 6 years ago
- Use GHC's Memory Allocator from C☆11Updated 5 years ago
- Telegram Lambdabot Bot☆11Updated last year
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 12 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 weeks ago
- Exercism exercises in Coq.☆18Updated 7 months ago
- Generate fast Haskell parsers for fixed width packets☆21Updated 5 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago
- The Stroscot Programming Language☆13Updated last year
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago