Alternatives and similar repositories for complx

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

• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆293Updated 3 years ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆198Updated last month
• BNFC / bnfc
  BNF Converter
  ☆607Updated 2 weeks ago
• Wilfred / bfc
  An industrial-grade brainfuck compiler
  ☆533Updated last year
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 8 years ago
• drsam94 / Spl
  A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.
  ☆82Updated 3 years ago
• orangeduck / CPP_COMPLETE
  Brainfuck interpreter written in the C preprocessor
  ☆236Updated 9 years ago
• cil-project / cil
  C Intermediate Language
  ☆377Updated last year
• mukul-rathi / bolt
  Bolt is a language with in-built data-race freedom!
  ☆601Updated last year
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• seL4 / l4v
  seL4 specification and proofs
  ☆558Updated last week
• 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.
  ☆632Updated 10 months ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆611Updated 3 months ago
• ltcmelo / psychec
  A compiler frontend for the C programming language
  ☆550Updated this week
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• sampsyo / cs6120
  advanced compilers
  ☆849Updated last week
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆442Updated this week
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆2,019Updated this week
• uw-unsat / hyperkernel
  ☆185Updated 5 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆305Updated this week
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆1,072Updated this week
• igor84 / summus
  Simple compiler frontend using LLVM as backend
  ☆239Updated 6 years ago
• ra4king / CircuitSim
  Basic Circuit Simulator
  ☆80Updated last year
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆158Updated 6 years ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆526Updated 3 months ago
• Uberi / uw-cs350-development-environment
  Offline development environment for CS350 coursework, as a Docker image.
  ☆33Updated 7 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆95Updated 7 months ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆311Updated last week
• sdiehl / kaleidoscope
  Haskell LLVM JIT Compiler Tutorial
  ☆1,045Updated 5 years ago