dirkriehle / adap-courseLinks
A course on advanced object-oriented design and programming
☆18Updated last week
Alternatives and similar repositories for adap-course
Users that are interested in adap-course are comparing it to the libraries listed below
Sorting:
- Bootloader exploration☆19Updated 3 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆106Updated last year
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆55Updated 10 months ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- MH: a microkernel for fun and experimenting!☆31Updated 7 years ago
- A collection of high-performance crypto implementations.☆52Updated 3 weeks ago
- Official mirror of the Muen Separation Kernel repository☆89Updated this week
- GCC plugin for C language that tracks references to allocated objects☆29Updated 6 months ago
- scripts to recreate a git archive of pre-git era kernel snapshots.☆30Updated 10 years ago
- A Shell to parse ELF files☆19Updated 2 years ago
- 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
- 100% XXTEA authenticated, chunked file encryption☆18Updated 4 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Updated last month
- GitHub copy of the NTS/TeX source code from 2001☆32Updated 4 years ago
- ☆13Updated 7 years ago
- A Zig implementation of EdDSA signatures with blind keys.☆17Updated 2 years ago
- An interactive (fast) static source code analyzer☆177Updated last week
- POsix SERvices framework for C☆18Updated last month
- A programming language to write bitsliced ciphers☆58Updated last year
- A simple 3D engine made only with 2D drawLine functions.☆43Updated 5 years ago
- Implementations of do255e and do255s in C and assembly☆25Updated 4 years ago
- Compiler Optimizations Playground☆27Updated 4 years ago
- T1 Documentation☆11Updated 6 years ago
- NIST Lightweight Cryptography Primitives☆54Updated 3 years ago
- Non-preemptive Thread Hierarchy Manager☆56Updated last year
- A bignum library for C.☆33Updated last year
- Modeling futexes in TLA+☆20Updated last year
- Static analysis framework for C☆215Updated last week
- AES-GEM (AES Galois Extended Mode) implementation.☆13Updated 8 months ago
- A coverage-guided, native Lua fuzzing engine.☆48Updated 2 weeks ago