Alternatives and similar repositories for t1bootstrap:

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

• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 6 months ago
• t1lang / t1lang.github.io
  T1 Main Web Site
  ☆14Updated 5 years ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆28Updated this week
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆48Updated 7 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆30Updated 7 years ago
• stokito / fortress-lang
  ☆54Updated 8 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• andrewchambers / qc
  quick c
  ☆35Updated 2 years ago
• TobyGoodwin / pacc
  pacc: a compiler-compiler
  ☆37Updated 8 years ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆68Updated 6 years ago
• m4tx / uefi-jitfuck
  A JIT compiler for Brainfuck running on x86_64 UEFI
  ☆86Updated 6 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 10 years ago
• rod-chapman / SPARKNaCl
  SPARK 2014 re-implementation of the TweetNaCl crypto library
  ☆118Updated 2 months ago
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 5 years ago
• swdunlop / WaspVM
  The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF
  ☆107Updated 6 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆51Updated 4 years ago
• lojikil / carML
  carML - a yummy and sweet ML dialect
  ☆19Updated 3 years ago
• codr7 / forthy2
  a Forth (for you) too
  ☆57Updated 5 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 5 years ago
• rain-1 / single_cream
  single file scheme interpreter with tail call optimization
  ☆82Updated 5 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• chkoreff / Fexl
  Function EXpression Language (interpreter for functional programs)
  ☆81Updated last month
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆120Updated 4 years ago
• ras52 / bootstrap
  Richard's compiler bootstrap experiment
  ☆45Updated last year
• talksmall / Strongtalk
  Strongtalk VM
  ☆101Updated 3 years ago
• marssaxman / fleet
  exokernel style operating system based on lightweight virtual machines
  ☆25Updated 8 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 4 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• rongarret / gll-mag-patch
  ☆44Updated 7 years ago