The Mickey Mouse of dynamic linkers
☆16Nov 15, 2025Updated 3 months ago
Alternatives and similar repositories for donald
Users that are interested in donald are comparing it to the libraries listed below
Sorting:
- Semantic model for aspects of ELF static linking and DWARF debug information☆53Jul 20, 2025Updated 7 months ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Feb 5, 2020Updated 6 years ago
- A crappy native calendar with vi keybindings (todo: make it less crappy)☆10Jan 5, 2024Updated 2 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated this week
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Aug 28, 2018Updated 7 years ago
- com-cpm: COM, a CP/M-80 simulator (in portable C and 68000 assembly flavors) by Jim Cathey☆20Apr 12, 2022Updated 3 years ago
- Unix V6 with Arpanet support☆17Oct 11, 2022Updated 3 years ago
- basics to get nixos running on a surface pro 3☆16Oct 7, 2019Updated 6 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- Writeup that goes along with this:☆16Apr 19, 2018Updated 7 years ago
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 4 years ago
- High-performance C++ hash table using grouped SIMD metadata scanning. Beats SOTA at scale.☆49Dec 23, 2025Updated 2 months ago
- Function Merging & Branch Fusion☆19Apr 5, 2019Updated 6 years ago
- Nez parsing library☆25May 29, 2022Updated 3 years ago
- just give me a unix shell☆37Jul 10, 2022Updated 3 years ago
- change or display the stack size of an ELF binary☆22Jul 1, 2019Updated 6 years ago
- Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…☆24Jan 3, 2023Updated 3 years ago
- A standalone library to implement GNU libc's obstack☆29Oct 21, 2023Updated 2 years ago
- A user-mode simulator for various version of PDP-11 Unix☆36Feb 4, 2026Updated 3 weeks ago
- 8086 FPGA core running original microcode☆67Dec 20, 2025Updated 2 months ago
- Fork of LLVM with modifications to support a program repository☆25Mar 28, 2022Updated 3 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆131Feb 13, 2022Updated 4 years ago
- Tiny (ANSI) C library for pool allocation☆38Feb 11, 2026Updated 2 weeks ago
- Parses BGP/AS data from multiple different sources☆11Dec 4, 2021Updated 4 years ago
- light ifconfig☆14Apr 13, 2019Updated 6 years ago
- Dynamic creation and update of ELF files, or: an allocator for JIT compilers☆36Nov 25, 2025Updated 3 months ago
- Runtime support for LLVM's GC Statepoints☆42Mar 10, 2020Updated 5 years ago
- Like `which`, for dynamic libraries☆43Feb 13, 2026Updated 2 weeks ago
- Mirror of https://codeberg.org/Gottox/sqsh-tools \\ 🗜️ fast r/o squashfs implementation written in C.☆50Updated this week
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆13Jun 26, 2025Updated 8 months ago
- ☆12Oct 13, 2022Updated 3 years ago
- Gemini für den Atari ST☆18Apr 15, 2025Updated 10 months ago
- A reactive notebook for Haskell☆53Updated this week
- A toy LDAP server in C for illustrative purposes☆12Apr 6, 2011Updated 14 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34May 21, 2020Updated 5 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- Verilog implementation of MC68851 Memory Management Unit☆13Feb 26, 2018Updated 8 years ago