Alternatives and similar repositories for tci

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

• langjam / langjam
  ☆1,009Updated 2 years ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆611Updated 3 months ago
• jondgoodwin / cone
  Cone Programming Language
  ☆546Updated 2 years ago
• BUGS-NYU / schedge
  API for NYU's course catalog
  ☆56Updated last year
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆2,019Updated this week
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,376Updated last month
• cofibrant / micro-mitten
  You might not need your garbage collector
  ☆543Updated 5 years ago
• jauhien / iron-kaleidoscope
  LLVM tutorial in Rust language
  ☆1,208Updated last year
• skiplang / skip
  A programming language to skip the things you have already computed
  ☆2,012Updated last year
• pikelet-lang / pikelet
  A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
  ☆621Updated 4 years ago
• mukul-rathi / bolt
  Bolt is a language with in-built data-race freedom!
  ☆601Updated last year
• aardappel / lobster
  The Lobster Programming Language
  ☆2,509Updated this week
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,602Updated 3 years ago
• TheDan64 / inkwell
  It's a New Kind of Wrapper for Exposing LLVM (Safely)
  ☆2,674Updated 2 weeks ago
• jfecher / ante
  A safe, easy systems language
  ☆2,112Updated last month
• nickmqb / muon
  Modern low-level programming language
  ☆778Updated last year
• dictu-lang / Dictu
  Dictu is a high-level dynamically typed, multi-paradigm, interpreted programming language.
  ☆270Updated 8 months ago
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆1,072Updated this week
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,140Updated 5 months ago
• Wilfred / bfc
  An industrial-grade brainfuck compiler
  ☆533Updated last year
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,626Updated last week
• thepowersgang / rust_os
  An OS kernel written in rust. Non POSIX
  ☆803Updated last month
• grain-lang / grain
  The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
  ☆3,365Updated last month
• adam-mcdaniel / oakc
  A portable programming language with a compact intermediate representation
  ☆742Updated 2 years ago
• spencertipping / jit-tutorial
  How to write a very simple JIT compiler
  ☆1,879Updated 4 years ago
• thesephist / ink
  Ink is a minimal programming language inspired by modern JavaScript and Go, with functional style.
  ☆569Updated 4 years ago
• 8l / qbe
  A Quick Backend
  ☆351Updated 3 years ago
• astrolang / astro
  A fun safe language for rapid prototyping and high performance applications
  ☆772Updated 2 years ago
• BUGS-NYU / bugs-nyu.github.io-old
  The old website for the BUGS organization hosted through Github Pages
  ☆12Updated 2 years ago
• brownplt / pyret-lang
  The Pyret language.
  ☆1,102Updated last week