code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
☆18Dec 10, 2018Updated 7 years ago
Alternatives and similar repositories for rb_tree_demo
Users that are interested in rb_tree_demo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆13May 15, 2017Updated 9 years ago
- ☆21Apr 15, 2018Updated 8 years ago
- .NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.☆18Feb 4, 2021Updated 5 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆15Dec 16, 2014Updated 11 years ago
- Expression-oriented fast file finder☆22Oct 21, 2018Updated 7 years ago
- OCaml bindings to libuv -- Cross-platform asychronous I/O☆18Jan 12, 2015Updated 11 years ago
- A UCI (Universal Chess Interface) chess engine written in the Rust programming language☆20Dec 24, 2016Updated 9 years ago
- Very simple runtime hooking library for OS X.☆15Aug 9, 2015Updated 11 years ago
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- A LaTeX package for proof carrying papers☆24Dec 8, 2016Updated 9 years ago
- Virtual Machine profiler (so far restricted to pypy and cpython)☆11Dec 14, 2014Updated 11 years ago
- Prince cipher source code in C99 and test vectors with intermediate values☆15May 22, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Applied Symbolic Execution with KLEE/LLVM☆24Jun 7, 2013Updated 13 years ago
- Minimize the number of steps required to accept contributions for Debian packages you maintain.☆16Aug 7, 2016Updated 10 years ago
- How many x86_64 instructions are there anyway?☆23Mar 8, 2016Updated 10 years ago
- Busybox container and rootfs builder for minimal Docker base images with Python.☆12Oct 14, 2015Updated 10 years ago
- A C/C++ pretty printing library.☆12May 26, 2022Updated 4 years ago
- ☆12Apr 22, 2020Updated 6 years ago
- Simulator for the pioneering TX-2 computer☆34May 23, 2026Updated 4 months ago
- Samples for use with IBM Dependency Based Build☆17Mar 15, 2019Updated 7 years ago
- misc pentest tools.☆26Dec 16, 2014Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- REIL translation library☆36May 6, 2016Updated 10 years ago
- GTL (Graph Template Library) is a STL based library, which provides necessary classes and algorithms for the work with graphs.☆21May 10, 2026Updated 4 months ago
- Red-black tree C implementation☆37Dec 3, 2018Updated 7 years ago
- Implementation of Nuprl's type theory in Coq☆47Jul 28, 2026Updated last month
- Exploits used on hacking CTF's☆28Sep 16, 2019Updated 7 years ago
- The Mython extensible variant of the Python programming language.☆18Feb 23, 2021Updated 5 years ago
- A library for tracking program state☆15Jun 18, 2016Updated 10 years ago
- Java client API for Google Code Jam contest☆12Apr 21, 2017Updated 9 years ago
- Sealing local directories into Mirage Unikernels☆27May 21, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A little tool to execute functions without debugging an entire executable. Originally written by Gonzalo J. Carracedo (BatchDrake).☆29Apr 6, 2014Updated 12 years ago
- lxml-cffi is a PyPy-friendly port of lxml, based on cffi☆21Oct 13, 2015Updated 10 years ago
- Toy interpreters for learning about the RPython Translation Toolchain☆15Apr 22, 2015Updated 11 years ago
- Utility for merging multiple XUnit xml reports into a single xml report.☆15Jul 3, 2024Updated 2 years ago
- Zipper data structure for python. Described by Huet, ported from clojure.☆24Nov 22, 2023Updated 2 years ago
- C Foreign function interface generator.☆19Jun 10, 2018Updated 8 years ago
- nanomsg bindings for ocaml☆38Oct 28, 2020Updated 5 years ago