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
- The Alms Programming Language☆44Updated 7 years ago
- A compiler for a simple language using llvm☆35Updated 2 years ago
- Jhc: Haskell Compiler☆38Updated 10 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆76Updated 5 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆90Updated this week
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- A simple library for Haskell that allows relational programming.☆46Updated 12 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- A simple programming language targeting LLVM☆65Updated 6 years ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Updated 6 years ago
- A tiny scheme interpreter in Haskell☆24Updated 6 years ago
- a self-hosting lambda calculus compiler☆37Updated 5 months ago
- A [ functional stack ] based language.☆30Updated last year
- Hope programming language interpreter☆41Updated 3 months ago
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago
- Examples for Haskell bindings to LLVM☆73Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆48Updated 4 years ago
- Ikko language☆26Updated 4 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 12 years ago
- ☆41Updated 8 years ago
- A language parsing quasiquoter for Haskell based heavily on ANTLR4.☆52Updated 4 years ago
- A simple, purely-functional programming language☆25Updated 3 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- Minimal Haskell Compiler☆63Updated 7 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago