Alternatives and similar repositories for adap-course

Users that are interested in adap-course are comparing it to the libraries listed below

• eatonphil / bootloaders
  Bootloader exploration
  ☆19Updated 3 years ago
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆47Updated 3 years ago
• kanner / lions-book
  John Lion's “A commentary on the Sixth Edition UNIX Operating System” book
  ☆63Updated 2 years ago
• arnoldrobbins / mcilroy-regex
  Doug McIlroy's C++ regular expression matching library
  ☆96Updated 7 years ago
• UTSASRG / Guarder
  ☆13Updated 7 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆96Updated 5 months ago
• rusnikola / wfe
  Wait-Free Eras (PPoPP '20)
  ☆10Updated 5 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆54Updated 5 years ago
• lvntky / CVM
  A toy JVM coded in C/C++
  ☆26Updated last year
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated 2 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years ago
• checkedc / checkedc-llvm-project
  This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…
  ☆15Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆68Updated last month
• karineek / CsmithEdge
  A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …
  ☆17Updated 4 months ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆30Updated 7 months ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• baziotis / minijava-cpp
  A MiniJava compiler written in C++, focusing on speed of compilation, simplicity and (somewhat) nice error messages.
  ☆49Updated 3 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆178Updated last month
• t1lang / t1doc
  T1 Documentation
  ☆11Updated 6 years ago
• dspinellis / cscout
  C code refactoring browser
  ☆217Updated last month
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆58Updated last year
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆55Updated 10 months ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆29Updated 4 years ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆32Updated 4 years ago