Alternatives and similar repositories for adap-course

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

• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆58Updated last year
• naskitis / B-trie
  The B-trie and B-tree, written in C, as described in my PhD thesis.
  ☆29Updated 8 years ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆54Updated 8 months ago
• bcrypto / bee2
  ☆14Updated 8 years ago
• dgryski / modelchecking
  model checking samples
  ☆17Updated 3 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• UT-SE-Research / iDFlakies
  ☆30Updated 10 months ago
• Z3Prover / doc
  Documentation
  ☆44Updated 4 months ago
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆52Updated 5 months ago
• rusnikola / wfe
  Wait-Free Eras (PPoPP '20)
  ☆10Updated 5 years ago
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆23Updated 3 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years ago
• deadsy / py_linenoise
  A port of the linenoise line editor to Python.
  ☆16Updated last year
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• kernelci / kcidb
  kernelci.org common database tools
  ☆28Updated 2 weeks ago
• rickjanda / commandline-videostore
  The fowler video store code extended to a simple command line app in order to practice refactoring from procedural to object-oriented c…
  ☆13Updated 8 years ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated 2 years ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆66Updated 3 years ago
• shuveb / loti
  Lord of the io_uring: io_uring tutorial, examples and reference
  ☆92Updated last year
• eliben / c-unleashed-book-souce-code
  Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.
  ☆74Updated 3 years ago
• pornin / cycle-counter
  ☆23Updated 9 months ago
• rweather / lightweight-crypto
  NIST Lightweight Cryptography Primitives
  ☆54Updated 3 years ago
• rostedt / shelf
  A Shell to parse ELF files
  ☆19Updated 2 years ago
• eatonphil / bootloaders
  Bootloader exploration
  ☆19Updated 3 years ago
• dspinellis / cscout
  C code refactoring browser
  ☆212Updated 5 months ago
• wtarreau / ebtree
  Elastic Binary Trees
  ☆31Updated last week
• checkedc / checkedc-fork
  This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
  ☆27Updated 11 months ago