Alternatives and similar repositories for complx:

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

• haplesshero13 / lc3tools
  LC3 Simulator, Assembler, and other tools
  ☆24Updated last year
• yohanes / printf-webserver
  Implementing a web server in a single printf() call
  ☆108Updated 10 years ago
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆211Updated 4 years ago
• LeifAndersen / PLGradSchools
  ☆224Updated 5 months ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆39Updated last week
• benhoyt / pyast64
  Compile a subset of the Python AST to x64-64 assembler
  ☆140Updated 8 months ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆90Updated 10 months ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆103Updated 3 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆183Updated 7 months ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆547Updated last month
• matslina / bfoptimization
  "Research" on how to best optimize brainfuck code.
  ☆72Updated 2 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆61Updated this week
• illinois-cs241 / illinois-cs241.github.io
  CS 341 course website
  ☆28Updated this week
• marijnheule / microsat
  microsat
  ☆132Updated 2 years ago
• haplesshero13 / lcc-lc3
  LC3 C Compiler for the Little Computer v3
  ☆50Updated 12 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated 2 weeks ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆191Updated 2 months ago
• cil-project / cil
  C Intermediate Language
  ☆365Updated last year
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• coq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆510Updated 5 months ago
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 3 years ago
• BR903 / cppp
  A program for automatically resolving #ifdef statements in C code.
  ☆36Updated 2 months ago
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆182Updated 2 months ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆34Updated 4 years ago
• real-xinu / xkdb
  Xinu Kernel DeBugger (xkdb) - GDB for Xinu backends
  ☆20Updated 3 years ago
• benjojo / c2bf
  C2BF is a C compiler targeting brainfuck, written by the twisted mind of Gregor Richards.
  ☆34Updated last year
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 8 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆300Updated 2 weeks ago
• Wilfred / bfc
  An industrial-grade brainfuck compiler
  ☆513Updated 9 months ago