Alternatives and similar repositories for t1bootstrap

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

• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• kerneis / cpc
  Continuation Passing C
  ☆113Updated 6 years ago
• stokito / fortress-lang
  ☆57Updated 8 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆121Updated 4 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆68Updated 7 years ago
• t1lang / t1lang.github.io
  T1 Main Web Site
  ☆14Updated 6 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆17Updated 9 years ago
• marssaxman / fleet
  exokernel style operating system based on lightweight virtual machines
  ☆25Updated 9 years ago
• TobyGoodwin / pacc
  pacc: a compiler-compiler
  ☆37Updated 9 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated this week
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 3 years ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆33Updated 4 months ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆41Updated this week
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• tofgarion / spark-by-example
  SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
  ☆161Updated 3 years ago
• ras52 / bootstrap
  Richard's compiler bootstrap experiment
  ☆46Updated 2 years ago
• mangpo / chlorophyll
  Synthesis-Aided Compiler for GreenArrays GA144
  ☆53Updated 8 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆34Updated 4 years ago
• anse1 / firmforth
  A just-in-time-compiling forth system using libfirm.
  ☆57Updated 8 years ago
• kstephens / maru
  Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/
  ☆41Updated 4 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 4 years ago
• stamourv / s3
  A Scheme TCP/IP Stack Targeting Small Embedded Applications
  ☆25Updated 11 years ago
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆47Updated 10 months ago
• jeffreykegler / libmarpa
  Marpa parse engine C library -- STABLE
  ☆99Updated 2 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆31Updated 7 years ago