Alternatives and similar repositories for complx

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

• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆463Updated 4 years ago
• Wilfred / bfc
  An industrial-grade brainfuck compiler
  ☆540Updated last year
• f0rki / mapping-high-level-constructs-to-llvm-ir
  A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.
  ☆645Updated last year
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆308Updated this week
• ltcmelo / psychec
  A compiler frontend for the C programming language
  ☆559Updated last month
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆299Updated 3 years ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆688Updated last week
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆1,099Updated this week
• sampsyo / bril
  an educational compiler intermediate representation
  ☆723Updated last month
• drsam94 / Spl
  A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.
  ☆82Updated 4 years ago
• HexHive / printbf
  Brainfuck interpreter inside printf
  ☆677Updated 4 years ago
• BNFC / bnfc
  BNF Converter
  ☆612Updated this week
• dpiponi / quine-central
  A quine generator
  ☆313Updated 7 years ago
• bisqwit / compiler_series
  Material for the Creating a Compiler video lesson series.
  ☆559Updated 3 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆679Updated last month
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆450Updated this week
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆535Updated 6 months ago
• ra4king / CircuitSim
  Basic Circuit Simulator
  ☆80Updated 2 years ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆206Updated 4 months ago
• sdiehl / kaleidoscope
  Haskell LLVM JIT Compiler Tutorial
  ☆1,045Updated 5 years ago
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• eliben / pykaleidoscope
  Implementation of the LLVM tutorial in Python using llvmlite
  ☆333Updated 10 months ago
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆257Updated 5 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆136Updated 5 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆159Updated 6 years ago
• jbangert / trapcc
  Computing with traps
  ☆1,309Updated 12 years ago
• xieyuheng / study
  Study of language design and implementation.
  ☆66Updated 5 years ago
• seL4 / l4v
  seL4 specification and proofs
  ☆581Updated this week
• achlipala / frap
  Formal Reasoning About Programs
  ☆713Updated last week
• DennisMitchell / jellylanguage
  Jelly is a recreational programming language inspired by J.
  ☆898Updated 5 years ago