Alternatives and similar repositories for schc:

Users that are interested in schc are comparing it to the libraries listed below

• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated last month
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated last year
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆70Updated 5 years ago
• seagreen / llvm-in-haskell
  Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell
  ☆17Updated 6 years ago
• matijapretnar / aeff
  An interactive interpreter for asynchronous algebraic effects
  ☆14Updated 10 months ago
• nojb / mlpolyr
  MLpolyR
  ☆7Updated 8 years ago
• kseo / poly_constraints
  Hindley-Milner type inference using constraints
  ☆50Updated 8 years ago
• smichal / hs-logic
  A simple library for Haskell that allows relational programming.
  ☆46Updated 12 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆74Updated 5 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 3 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• ikko-lang / ikko
  Ikko language
  ☆26Updated 4 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• gatlin / psilo
  a parallel, safe, iterative list operation language for systems programming
  ☆16Updated 4 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 7 years ago
• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆22Updated 2 months ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 10 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 9 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 6 years ago