silentbicycle / autoclaveView external linksLinks
repeatedly run programs until they break, and be ready to attach a debugger
☆197Oct 9, 2018Updated 7 years ago
Alternatives and similar repositories for autoclave
Users that are interested in autoclave are comparing it to the libraries listed below
Sorting:
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Aug 25, 2019Updated 6 years ago
- the dna of the soul☆17Jun 13, 2024Updated last year
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Apr 14, 2025Updated 10 months ago
- A small experimental microkernel for embedded systems☆23Aug 23, 2022Updated 3 years ago
- property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input☆632Dec 17, 2020Updated 5 years ago
- A simple VM to play with OSR in LLVM☆15Jun 11, 2017Updated 8 years ago
- ☆15May 11, 2023Updated 2 years ago
- Wireshark dissector for the Nix daemon protocol.☆13Sep 11, 2025Updated 5 months ago
- postcard-rpc, over rtt, with probe-rs☆15Jan 19, 2025Updated last year
- A C testing library in 1 file. No dependencies, no dynamic allocation. ISC licensed.☆1,518Jun 11, 2023Updated 2 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- Userscript that introduces some user experience enhancements to the Nixpkgs and the NixOS manuals☆13Oct 16, 2023Updated 2 years ago
- CLI tool for generating a summary of recent github activity for people who are incredibly forgetful but still need to give weekly status …☆68May 6, 2022Updated 3 years ago
- 60 artisanal compiler crashes☆39Jul 17, 2016Updated 9 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆95Nov 18, 2020Updated 5 years ago
- This is a lightweight Prometheus exporter for cgroups that only supports the unified cgroup v2 hierarchy. It exposes usage metrics for ea…☆30Updated this week
- IA-64 emulator☆15Aug 13, 2021Updated 4 years ago
- pylibjit, a Python library for compiling Python functions☆19Oct 1, 2020Updated 5 years ago
- Racket bindings for Z3☆20Aug 7, 2012Updated 13 years ago
- Robust(?) string manipulation language☆32Sep 22, 2015Updated 10 years ago
- Multi reporter metrics library (carbon, graphite, postgresql, prometheus)☆101Oct 27, 2018Updated 7 years ago
- A V wrapper for Tesseract-OCR☆17Nov 14, 2021Updated 4 years ago
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆26Aug 20, 2024Updated last year
- my obsidian publish knockoff that generates (largely static) websites☆44Feb 9, 2026Updated last week
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Jul 7, 2022Updated 3 years ago
- Poireau: a sampling allocation debugger☆98Feb 3, 2022Updated 4 years ago
- A tool that generates a Nix derivation from a Ninja build file.☆25May 2, 2025Updated 9 months ago
- A Virtual Machine Research Overview as a Graph☆25Dec 21, 2025Updated last month
- a plot device☆325Sep 8, 2019Updated 6 years ago
- 🧚 pfil is a cute, minimal editor theme; for low-light and high-contrast.☆21Jan 26, 2026Updated 3 weeks ago
- i386, x86_64, ARMv7 assembler/linker; Nothing-like mid-level language; Linear-scan register allocator; Operating system for Raspberry Pi …☆100Oct 1, 2025Updated 4 months ago
- KISS password manager☆10Dec 4, 2020Updated 5 years ago
- asrepl: x86-64 assembly REPL☆71Apr 13, 2017Updated 8 years ago
- Don't tell me what not to do - Mutex built on an M1 security exploit☆24May 26, 2021Updated 4 years ago
- Resource-efficient 16-bit CPU architecture for FPGA control plane☆96Feb 20, 2025Updated 11 months ago
- Reads UTF-8 on stdin and prints out the raw Unicode codepoints. Useful for seeing exactly what a string consists of.☆64Jan 11, 2022Updated 4 years ago
- A Nix DSL that compiles to Lua☆26Jul 21, 2025Updated 6 months ago
- A translation of the classic BASIC game.☆28Jun 29, 2010Updated 15 years ago