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:
- Add a server mode to X11 clients☆16Jul 29, 2024Updated 2 years ago
- Track the RAM usage of a process and its descendants in real time☆30Apr 15, 2026Updated 6 months 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
- Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…☆131Oct 23, 2025Updated last year
- Shell script manager for remote/local/container invocations in a <3MiB statically-linked executable.☆17Sep 7, 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 collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Dec 18, 2023Updated 2 years ago
- GCC plugin for C language that tracks references to allocated objects☆32May 12, 2025Updated last year
- ☆17Aug 28, 2026Updated 2 months ago
- Probe for WireGuard® connectivity☆20May 25, 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 4 months ago
- Formalizing origami geometry and numbers☆11Aug 31, 2026Updated 2 months ago
- Pure Go generic implementation of freelist allocator☆13Sep 27, 2025Updated last year
- My WebAssembly VM☆77Apr 30, 2026Updated 6 months ago
- Generating LLVM IR without malloc or external dependencies☆109May 19, 2026Updated 5 months ago
- 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.
- Fork of github.com/UCSBarchlab/OpenTPU for the TGPTPU project☆14Jun 1, 2025Updated last year
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated 2 years ago
- A pipeline that translates Rust GPU code into formal Coq models, as a foundation for memory model proofs☆134Jul 18, 2026Updated 3 months ago
- A simple C coroutine library.☆229Jan 24, 2024Updated 2 years ago
- Mojibake is a small, fast, self-contained Unicode library written in C11.☆48Updated this week
- Organized writing tool with simple file format for easy syncing☆14Oct 24, 2026Updated last week
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆18Jul 31, 2026Updated 3 months ago
- fast combinations calculation in jax☆40Jul 12, 2024Updated 2 years ago
- 30 C Compiler☆316May 24, 2026Updated 5 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.
- Win16 Display Calculator☆11Dec 19, 2018Updated 7 years ago
- A Rocq version of the miniF2F dataset☆25Jul 23, 2026Updated 3 months ago
- Code accompanying the “what does it mean to listen on a port” blog post.☆19Feb 15, 2022Updated 4 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆20Sep 11, 2026Updated last month
- A small research about finding stupid C-string related bugs☆13Jun 29, 2022Updated 4 years ago
- Postgres extension that speeds up analytics queries by upto 90%☆52Jun 8, 2024Updated 2 years ago
- Android dex file parser in Go☆60Jun 9, 2024Updated 2 years ago
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆23May 21, 2025Updated last year
- ☆10Aug 31, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A compiler for the Algol W programming language.☆18Jun 11, 2026Updated 4 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆135Aug 11, 2026Updated 2 months ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆75Jan 13, 2025Updated last year
- A small, portable, linear probing hash map☆145Mar 22, 2025Updated last year
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆31Mar 7, 2025Updated last year
- Tensor library & inference framework for machine learning☆120Oct 3, 2025Updated last year
- Operations on matrices, vectors, and quaternions☆126Jun 26, 2026Updated 4 months ago