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☆634Dec 17, 2020Updated 5 years ago
- postcard-rpc, over rtt, with probe-rs☆15Jan 19, 2025Updated last year
- A simple VM to play with OSR in LLVM☆15Jun 11, 2017Updated 8 years ago
- ☆15May 11, 2023Updated 2 years ago
- A C testing library in 1 file. No dependencies, no dynamic allocation. ISC licensed.☆1,520Jun 11, 2023Updated 2 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 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…☆31Mar 3, 2026Updated last week
- A simple app to test out irmin and dream☆18Oct 18, 2025Updated 4 months 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
- A library for reading, writing, and representing structures from binary storage☆19Aug 13, 2025Updated 6 months 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
- my obsidian publish knockoff that generates (largely static) websites☆44Feb 9, 2026Updated last month
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Jul 7, 2022Updated 3 years ago
- Explore ELF objects through the power of SQL☆267Aug 4, 2024Updated last year
- Poireau: a sampling allocation debugger☆98Feb 3, 2022Updated 4 years ago
- 🧚 pfil is a cute, minimal editor theme; for low-light and high-contrast.☆21Jan 26, 2026Updated last month
- A Virtual Machine Research Overview as a Graph☆25Dec 21, 2025Updated 2 months ago
- A tool that generates a Nix derivation from a Ninja build file.☆25May 2, 2025Updated 10 months ago
- a plot device☆326Sep 8, 2019Updated 6 years ago
- i386, x86_64, ARMv7 assembler/linker; Nothing-like mid-level language; Linear-scan register allocator; Operating system for Raspberry Pi …☆100Oct 1, 2025Updated 5 months ago
- KISS password manager☆10Dec 4, 2020Updated 5 years ago
- Resource-efficient 16-bit CPU architecture for FPGA control plane☆96Feb 20, 2025Updated last year
- A Nix DSL that compiles to Lua☆26Jul 21, 2025Updated 7 months ago
- A translation of the classic BASIC game.☆28Jun 29, 2010Updated 15 years ago
- WebAssembly-based Yosys distribution for Amaranth HDL☆29Feb 25, 2026Updated 2 weeks ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Dotfiles, a monorepo, who is to know!!☆46Feb 26, 2026Updated last week
- ☆10Aug 5, 2015Updated 10 years ago