dirkriehle / adap-courseLinks
A course on advanced object-oriented design and programming
☆10Updated 3 months ago
Alternatives and similar repositories for adap-course
Users that are interested in adap-course are comparing it to the libraries listed below
Sorting:
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆53Updated 5 months ago
- Frontend for magic-trace; forks https://ui.perfetto.dev☆30Updated 8 months ago
- ☆14Updated 8 years ago
- 🍒 A massif (Valgrind) extension to analyze partial memory consumptions☆22Updated 8 years ago
- A minimalistic and high-performance SAT solver☆28Updated 2 years ago
- ☆14Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- NIST Lightweight Cryptography Primitives☆54Updated 3 years ago
- Benchmarking tools for measuring operating system performance☆34Updated last year
- 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…☆16Updated 9 months ago
- Examples of common systems programming optimizations☆51Updated 3 years ago
- Performance Evaluation of SHA-256 using SHA New Instructions.☆43Updated last month
- Crema: A Sub-Turing Programming Language☆66Updated 9 years ago
- AVX implementation of the Skinny block cipher☆11Updated 3 years ago
- 100% XXTEA authenticated, chunked file encryption☆18Updated 4 years ago
- ☆51Updated 3 years ago
- New spell(1) implementation for NetBSD☆9Updated 7 years ago
- Transactional Data Structure Libraries☆12Updated 7 years ago
- The code from the "Growing Object-Oriented Software, Guided by Tests" book, with the commit history reflecting the development in the boo…☆56Updated 5 years ago
- A Shell to parse ELF files☆19Updated 2 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 10 months ago
- Bootstrap compiler☆44Updated 6 years ago
- ☆30Updated 3 years ago
- Red-black tree C implementation☆37Updated 6 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆21Updated 2 years ago
- SIMDized check which bytes are in a set☆28Updated 6 years ago
- Modeling futexes in TLA+☆20Updated 9 months ago
- Optimized Binary GCD for Modular Inversion☆45Updated 4 years ago
- C Quality Metrics☆66Updated 3 years ago