Alternatives and similar repositories for compilers:

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

• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• stchang / mlish
  ☆21Updated 4 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• vtjnash / libwhich
  Like `which`, for dynamic libraries
  ☆36Updated last month
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 8 months ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 5 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated last month
• urweb / upo
  The Ur/Web People Organizer
  ☆29Updated 9 months ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆9Updated 2 months ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• dvanhorn / ubik
  Small Scheme interpreter and compiler
  ☆14Updated 9 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆12Updated 4 years ago
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆18Updated 11 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 9 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆11Updated 5 years ago
• andrewchambers / magnet-linux
  A decentralized linux distribution.
  ☆12Updated 2 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago