Alternatives and similar repositories for complx:

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

• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆186Updated last month
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆425Updated this week
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆518Updated 2 months ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆194Updated 6 months ago
• drsam94 / Spl
  A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.
  ☆80Updated 3 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆133Updated 4 years ago
• jbman223 / EarlyAP
  Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…
  ☆108Updated 2 years ago
• wchargin / lc3web
  web-based simulator for LC-3
  ☆66Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆231Updated 8 months ago
• jackson13info / mla13
  A LaTeX MLA style formatter package that allows users to create MLA style documents easily.
  ☆75Updated 7 years ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆370Updated 3 months ago
• matslina / bfoptimization
  "Research" on how to best optimize brainfuck code.
  ☆72Updated 2 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆304Updated 2 weeks ago
• orangeduck / CPP_COMPLETE
  Brainfuck interpreter written in the C preprocessor
  ☆234Updated 9 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆216Updated 4 years ago
• cil-project / cil
  C Intermediate Language
  ☆370Updated last year
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆70Updated last year
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆241Updated 2 years ago
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆463Updated this week
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆205Updated last week
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆682Updated 10 months ago
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆253Updated 15 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆297Updated last month
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆93Updated 3 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆288Updated 2 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 9 months ago
• mattam82 / Coq-Equations
  A function definition package for Coq
  ☆229Updated 2 weeks ago