Alternatives and similar repositories for ComputerLanguages

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

• antonmedv / ultra-tiny-compiler
  Ultra Tiny Compiler
  ☆181Updated 6 years ago
• rcorcs / rcc
  rcor C compiler (under development)
  ☆115Updated 7 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆373Updated 8 years ago
• kragen / knuth-interview-2006
  The transcript of a Donald Knuth interview in 2006
  ☆226Updated 8 years ago
• NLKNguyen / awesome-language-engineering
  ✨ A curated list of useful resources for computer language engineering and theory
  ☆263Updated 7 years ago
• lukego / blog
  Luke Gorrie's blog
  ☆565Updated 2 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 9 years ago
• WetDesertRock / Yarn
  A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.
  ☆239Updated last year
• gto76 / comp-cpp
  Comp Mark I – Simple 4-bit virtual computer
  ☆344Updated last year
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆254Updated 5 years ago
• ronsoros / rvm
  simple virtual machine and assembler
  ☆219Updated 8 years ago
• marssaxman / startc
  minimal freestanding C library for bare-metal i386 development
  ☆275Updated 9 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆136Updated 9 years ago
• HuoLanguage / huo
  interpreted language written in C
  ☆210Updated 3 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆434Updated 2 years ago
• r0nk / ward
  state machine visual debugger
  ☆120Updated 10 years ago
• zarkzork / servasm
  X86_64 Linux webserver in assembler
  ☆107Updated 10 years ago
• nineties / amber
  A Language for High-Level Programming with Self-Extension
  ☆341Updated 8 years ago
• gto76 / comp-m2
  Comp Mark II – Simple 4-bit virtual computer
  ☆169Updated last year
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• ocaml / ocamlunix
  Unix system programming in OCaml book
  ☆289Updated 7 years ago
• hgesser / ulix
  Ulix, the Literate Unix
  ☆177Updated 9 years ago
• julianneswinoga / yabfc
  Yet Another Brainfuck Compiler; No dependencies and from the ground up
  ☆278Updated 2 years ago
• igor84 / summus
  Simple compiler frontend using LLVM as backend
  ☆239Updated 6 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• perspectivesonatheme / patterns
  A framework of abstractions
  ☆294Updated last year
• hugomg / hexiom
  SAT-based solver for the Hexiom logic puzzle
  ☆33Updated 13 years ago
• Drahflow / Elymas
  A programming language I can like. Unholy and full of magic.
  ☆196Updated last month