A1Liu / tci

Related projects: ⓘ

• BUGS-NYU / schedge
  API for NYU's course catalog
  ☆53Updated 7 months ago
• langjam / langjam
  ☆1,019Updated last year
• BUGS-NYU / bugs-nyu.github.io-old
  The old website for the BUGS organization hosted through Github Pages
  ☆12Updated last year
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆494Updated last week
• LeifAndersen / PLGradSchools
  ☆219Updated last month
• sampsyo / cs6120
  advanced compilers
  ☆742Updated 2 weeks ago
• doctorn / micro-mitten
  You might not need your garbage collector
  ☆534Updated 4 years ago
• mukul-rathi / bolt
  Bolt is a language with in-built data-race freedom!
  ☆561Updated 9 months ago
• 8l / qbe
  A Quick Backend
  ☆280Updated 2 years ago
• litiwu / Spring-2021-Notes
  i like taking notes ( "´༥`" )
  ☆8Updated last year
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆617Updated last year
• jondgoodwin / cone
  Cone Programming Language
  ☆523Updated last year
• alantech / alan
  Autoscalable Programming Language
  ☆304Updated this week
• pikelet-lang / pikelet
  A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
  ☆610Updated 3 years ago
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆1,853Updated last week
• thesephist / ink
  Ink is a minimal programming language inspired by modern JavaScript and Go, with functional style.
  ☆558Updated 3 years ago
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆258Updated last year
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆944Updated this week
• KeenS / webml
  A Standard ML Compiler for the Web
  ☆384Updated 2 years ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆744Updated this week
• torchnyu / blog
  Burn Rate blog
  ☆10Updated last year
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,089Updated last year
• sampsyo / bril
  an educational compiler intermediate representation
  ☆557Updated 2 weeks ago
• robertmuth / Cwerg
  The best C-like language that can be implemented in 10kLOC.
  ☆456Updated 3 weeks ago
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆184Updated last month
• DavidTimms / loxdown
  A statically-typed variant of Lox, written in TypeScript
  ☆116Updated last year
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆274Updated 2 years ago
• escalier-lang / escalier-next
  Improved type safety with tight TypeScript interop
  ☆14Updated this week
• MPLLang / mpl
  The MaPLe compiler for efficient and scalable parallel functional programming
  ☆320Updated this week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆388Updated last year