angel-manuel / schcLinks
Simple C Haskell Compiler
☆22Updated 2 years ago
Alternatives and similar repositories for schc
Users that are interested in schc are comparing it to the libraries listed below
Sorting:
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆76Updated 5 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- A [ functional stack ] based language.☆30Updated last year
- A VM written following the Linear Abstract Machine architecture☆22Updated 5 years ago
- The Alms Programming Language☆44Updated 7 years ago
- A compiler for a simple language using llvm☆35Updated 2 years ago
- Lambda Calculus with quote and unquote☆19Updated 5 years ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Updated 6 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- Idris, but it's C☆24Updated 7 years ago
- Jhc: Haskell Compiler☆38Updated 10 years ago
- A tiny scheme interpreter in Haskell☆24Updated 6 years ago
- A simple library for Haskell that allows relational programming.☆46Updated 13 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Updated 5 years ago
- Minimal Haskell Compiler☆63Updated 7 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Stack-based esoteric programming language☆18Updated 7 months ago
- Ikko language☆26Updated 4 years ago
- Examples for Haskell bindings to LLVM☆73Updated 4 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 12 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- a self-hosting lambda calculus compiler☆37Updated 5 months ago
- A language parsing quasiquoter for Haskell based heavily on ANTLR4.☆52Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆48Updated 4 years ago
- ☆41Updated 8 years ago
- A simple programming language targeting LLVM☆65Updated 6 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago