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
• perspectivesonatheme / patterns
  A framework of abstractions
  ☆293Updated 10 months ago
• rcorcs / rcc
  rcor C compiler (under development)
  ☆115Updated 7 years ago
• WetDesertRock / Yarn
  A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.
  ☆237Updated last year
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 8 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆371Updated 8 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• marssaxman / startc
  minimal freestanding C library for bare-metal i386 development
  ☆275Updated 9 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 3 months ago
• igor84 / summus
  Simple compiler frontend using LLVM as backend
  ☆236Updated 6 years ago
• tylertreat / CS-Literature-of-the-Day
  A curated list of computer science literature, updated daily.
  ☆165Updated 9 years ago
• ronsoros / rvm
  simple virtual machine and assembler
  ☆220Updated 8 years ago
• hgesser / ulix
  Ulix, the Literate Unix
  ☆178Updated 9 years ago
• Drahflow / Elymas
  A programming language I can like. Unholy and full of magic.
  ☆195Updated 5 months ago
• alehander92 / hivemind
  a multi-syntax language
  ☆134Updated 9 years ago
• nineties / amber
  A Language for High-Level Programming with Self-Extension
  ☆341Updated 7 years ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆253Updated 5 years ago
• wkoszek / cpu60
  Example of CPU simulation in software
  ☆158Updated 9 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• analang / como-lang-ng
  como-lang-ng is now ana-lang, located at https://github.com/analang/ana
  ☆342Updated 5 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
• kragen / knuth-interview-2006
  The transcript of a Donald Knuth interview in 2006
  ☆226Updated 8 years ago
• ocaml / ocamlunix
  Unix system programming in OCaml book
  ☆289Updated 7 years ago
• gto76 / comp-cpp
  Comp Mark I – Simple 4-bit virtual computer
  ☆344Updated last year
• eudoxia0 / magma
  Extending C with cmacro
  ☆340Updated 4 years ago
• lukego / blog
  Luke Gorrie's blog
  ☆564Updated 2 years ago
• kragen / stoneknifeforth
  a tiny self-hosted Forth implementation
  ☆426Updated 5 years ago
• motine / sta
  Sketchbook - Simple Teaching Assistant
  ☆73Updated 4 years ago
• alehander92 / Airtight
  a python-like language with hindley-milner-like type system, which is compiled to c
  ☆244Updated 3 years ago