Alternatives and similar repositories for tci:

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

• langjam / langjam
  ☆1,011Updated 2 years ago
• brownplt / pyret-lang
  The Pyret language.
  ☆1,084Updated last week
• pikelet-lang / pikelet
  A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
  ☆615Updated 3 years ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆574Updated 3 weeks ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆287Updated 2 years ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆909Updated this week
• SeaOfNodes / Simple
  A Simple showcase for the Sea-of-Nodes compiler IR
  ☆570Updated this week
• doctorn / micro-mitten
  You might not need your garbage collector
  ☆540Updated 4 years ago
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,484Updated 9 months ago
• rymaju / FundiesCollab
  Collaborative Real-Time Coding in Java using the Fundies 2 Tester and Image libraries.
  ☆9Updated 4 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆668Updated this week
• jondgoodwin / cone
  Cone Programming Language
  ☆535Updated 2 years ago
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,067Updated 6 months ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆216Updated 2 years ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,466Updated last week
• never-lang / never
  Never: statically typed, embeddable functional programming language.
  ☆441Updated 10 months ago
• 8l / qbe
  A Quick Backend
  ☆329Updated 3 years ago
• LeifAndersen / PLGradSchools
  ☆229Updated 8 months ago
• ubclaunchpad / rocket2
  🚀 The official UBC Launch Pad Slack bot and team management platform
  ☆18Updated 2 years ago
• lollobaldo / Inf2D-cw1--autotester
  ☆24Updated 3 years ago
• mukul-rathi / bolt
  Bolt is a language with in-built data-race freedom!
  ☆593Updated last year
• nlsandler / write_a_c_compiler
  Test suite to help you write your own C compiler
  ☆881Updated last year
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆153Updated 4 years ago
• adam-mcdaniel / oakc
  A portable programming language with a compact intermediate representation
  ☆735Updated 2 years ago
• benhoyt / loxlox
  Lox interpreter written in Lox
  ☆117Updated last year
• seL4 / l4v
  seL4 specification and proofs
  ☆536Updated this week
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆452Updated 3 years ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆389Updated 2 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆460Updated this week
• sampsyo / bril
  an educational compiler intermediate representation
  ☆648Updated 3 weeks ago