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
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆39Mar 5, 2026Updated 6 months ago
- Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr☆17Mar 23, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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
- Shell script manager for remote/local/container invocations in a <3MiB statically-linked executable.☆17Sep 7, 2025Updated last year
- Track the RAM usage of a process and its descendants in real time☆29Apr 15, 2026Updated 5 months ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆51Jun 16, 2026Updated 3 months ago
- Probe for WireGuard® connectivity☆20May 25, 2026Updated 3 months ago
- 30 C Compiler☆317May 24, 2026Updated 4 months ago
- Fork of github.com/UCSBarchlab/OpenTPU for the TGPTPU project☆15Jun 1, 2025Updated last year
- A simple C coroutine library.☆229Jan 24, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Generating LLVM IR without malloc or external dependencies☆109May 19, 2026Updated 4 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 2 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆135Aug 11, 2026Updated last month
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆18Jul 31, 2026Updated last month
- fast combinations calculation in jax☆40Jul 12, 2024Updated 2 years ago
- A compiler for the Algol W programming language.☆18Jun 11, 2026Updated 3 months ago
- GO GO PARSE YOUR CODE GO GO☆13May 29, 2026Updated 3 months ago
- Craziness.☆28Feb 10, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Offline voice-controlled music player for Raspberry Pi☆11May 27, 2024Updated 2 years ago
- ☆11Apr 30, 2025Updated last year
- Source for bbcmicro.co.uk - to showcase vintage games for the BBC Micro Computer☆11Feb 16, 2020Updated 6 years ago
- Instruction-less computation☆19Dec 7, 2023Updated 2 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…☆64Sep 1, 2026Updated 3 weeks ago
- Documentation for NanoVMs OPS☆31Aug 7, 2026Updated last month
- A small, portable, linear probing hash map☆145Mar 22, 2025Updated last year
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆23May 21, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- BibTeX bibliographies for proof engineering-related papers☆30Jul 24, 2019Updated 7 years ago
- wak -- an awk implementation for toybox and standalone☆92Apr 10, 2026Updated 5 months ago
- framebuffer user interface☆304May 19, 2025Updated last year
- Exhaustive iteration trait in Rust☆24Aug 21, 2026Updated last month
- C plus Prolog☆169Apr 11, 2026Updated 5 months ago
- a makefile linter☆20Sep 19, 2016Updated 10 years ago
- 32-bit RISC-V Emulator☆29Feb 23, 2019Updated 7 years ago