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
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Updated 6 years ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- An extended typed Lambda Calculus☆21Updated 10 months ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- ☆28Updated 7 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Compiler for the Rum language☆26Updated 5 years ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- Monadic Javascript Compiler☆73Updated 9 years ago
- A simple library for Haskell that allows relational programming.☆46Updated 12 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 9 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆27Updated 2 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Generalized Convolution and Efficient Language Recognition☆17Updated 5 years ago
- Heyting Algebras in Haskell☆14Updated 2 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 6 months ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago