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:
- World's first Nintendo 3DS emulator for Apple devices based on Citra.☆18Apr 7, 2023Updated 3 years ago
- The Amsterdam Compiler Kit☆26Mar 30, 2025Updated last year
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆31Mar 7, 2025Updated last year
- Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…☆130Oct 23, 2025Updated 11 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆39Mar 5, 2026Updated 7 months ago
- 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.
- Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr☆17Mar 23, 2022Updated 4 years 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.☆640Dec 9, 2024Updated last year
- Probe for WireGuard® connectivity☆20May 25, 2026Updated 4 months ago
- 30 C Compiler☆317May 24, 2026Updated 4 months ago
- A simple C coroutine library.☆229Jan 24, 2024Updated 2 years ago
- Generating LLVM IR without malloc or external dependencies☆109May 19, 2026Updated 4 months ago
- ☆197May 5, 2025Updated last year
- A CLI tool to convert OpenBSD Packet Filter configuration files (`pf.conf`) to JSON and vice versa.☆31Jun 13, 2026Updated 4 months ago
- 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.
- ☆24Jul 13, 2026Updated 3 months ago
- A pipeline that translates Rust GPU code into formal Coq models, as a foundation for memory model proofs☆133Jul 18, 2026Updated 2 months ago
- List files in categories (and columns) - from Coherent UNIX☆39May 21, 2026Updated 4 months ago
- GCC plugin for C language that tracks references to allocated objects☆32May 12, 2025Updated last year
- Tensor library & inference framework for machine learning☆119Oct 3, 2025Updated last year
- Gallina to Bedrock2 compilation toolkit☆71Sep 24, 2026Updated 3 weeks ago
- A compiler for the Algol W programming language.☆18Jun 11, 2026Updated 4 months ago
- GO GO PARSE YOUR CODE GO GO☆13May 29, 2026Updated 4 months ago
- Craziness.☆28Feb 10, 2025Updated last year
- 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.
- A Rocq version of the miniF2F dataset☆25Jul 23, 2026Updated 2 months ago
- Offline voice-controlled music player for Raspberry Pi☆11May 27, 2024Updated 2 years ago
- Source for bbcmicro.co.uk - to showcase vintage games for the BBC Micro Computer☆11Feb 16, 2020Updated 6 years ago
- Collection of high-performance, CUDA-accelerated fluid dynamics and physics simulators, including SPH, hypersonic flow, and reaction-diff…☆64Sep 1, 2026Updated last month
- ☆27Sep 11, 2025Updated last year
- Operations on matrices, vectors, and quaternions☆126Jun 26, 2026Updated 3 months ago
- Win16 Display Calculator☆11Dec 19, 2018Updated 7 years ago
- A small, portable, linear probing hash map☆145Mar 22, 2025Updated last year
- DOOM rendered on a hardware oscilloscope via sound card - Left channel = X, Right channel = Y☆20Nov 26, 2025Updated 10 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆23May 21, 2025Updated last year
- ☆10Aug 31, 2021Updated 5 years ago
- 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☆92Apr 10, 2026Updated 6 months ago
- framebuffer user interface☆304May 19, 2025Updated last year
- ☆11Oct 21, 2023Updated 2 years ago