LD_PRELOADable library for exploring the glibc heap
☆107Mar 6, 2025Updated last year
Alternatives and similar repositories for heap-explorer
Users that are interested in heap-explorer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Amsterdam Compiler Kit☆26Mar 30, 2025Updated last year
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆31Mar 7, 2025Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆39Mar 5, 2026Updated 5 months ago
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆77Dec 18, 2023Updated 2 years ago
- Visual tool to explore SQLite databases page-by-page, the way they're stored on disk and the way SQLite sees them.☆638Dec 9, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- UEFI OVMF symbol load script for GDB☆22Jul 20, 2022Updated 4 years ago
- Track the RAM usage of a process and its descendants in real time☆29Apr 15, 2026Updated 4 months ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆20Apr 14, 2026Updated 4 months ago
- 30 C Compiler☆318May 24, 2026Updated 3 months ago
- Fork of github.com/UCSBarchlab/OpenTPU for the TGPTPU project☆15Jun 1, 2025Updated last year
- A simple C coroutine library.☆228Jan 24, 2024Updated 2 years ago
- Generating LLVM IR without malloc or external dependencies☆109May 19, 2026Updated 3 months ago
- ☆197May 5, 2025Updated last year
- A pipeline that translates Rust GPU code into formal Coq models, as a foundation for memory model proofs☆133Jul 18, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- List files in categories (and columns) - from Coherent UNIX☆39May 21, 2026Updated 3 months ago
- GCC plugin for C language that tracks references to allocated objects☆32May 12, 2025Updated last year
- libLISA: Instruction Discovery and Analysis on x86-64☆135Aug 11, 2026Updated 3 weeks ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆18Jul 31, 2026Updated last month
- Tensor library & inference framework for machine learning☆118Oct 3, 2025Updated 11 months ago
- fast combinations calculation in jax☆40Jul 12, 2024Updated 2 years ago
- A compiler for the Algol W programming language.☆18Jun 11, 2026Updated 2 months ago
- Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp…☆270Apr 4, 2024Updated 2 years ago
- GO GO PARSE YOUR CODE GO GO☆13May 29, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Craziness.☆28Feb 10, 2025Updated last year
- A Rocq version of the miniF2F dataset☆26Jul 23, 2026Updated last month
- A Jekyll theme for long-form writings, essays and beautiful photography.☆28Jun 10, 2013Updated 13 years ago
- Source for bbcmicro.co.uk - to showcase vintage games for the BBC Micro Computer☆11Feb 16, 2020Updated 6 years ago
- A hobby NES emulator written in Rust.☆15Jan 23, 2022Updated 4 years ago
- Collection of high-performance, CUDA-accelerated fluid dynamics and physics simulators, including SPH, hypersonic flow, and reaction-diff…☆63Updated this week
- Operations on matrices, vectors, and quaternions☆126Jun 26, 2026Updated 2 months ago
- Win16 Display Calculator☆11Dec 19, 2018Updated 7 years ago
- A small, portable, linear probing hash map☆145Mar 22, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- DOOM rendered on a hardware oscilloscope via sound card - Left channel = X, Right channel = Y☆18Nov 26, 2025Updated 9 months ago
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆23May 21, 2025Updated last year
- Selected chapters of the book as Markdown sources☆16Apr 2, 2025Updated last year
- Code Examples for Data Science for Crime Analysis with Python book☆10Jun 29, 2024Updated 2 years ago
- BibTeX bibliographies for proof engineering-related papers☆30Jul 24, 2019Updated 7 years ago
- wak -- an awk implementation for toybox and standalone☆93Apr 10, 2026Updated 4 months ago
- framebuffer user interface☆304May 19, 2025Updated last year