a tool for reinterpreting ELF executables and shared libraries
☆348Nov 12, 2024Updated last year
Alternatives and similar repositories for superlinker
Users that are interested in superlinker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [MIGRATED to https://codeberg.org/prjunnamed/prjunnamed] End-to-end synthesis and P&R toolchain☆94Mar 12, 2026Updated 2 weeks ago
- A unikernel as an IRC client☆26Sep 13, 2023Updated 2 years ago
- MirageOS unikernel to test networking☆16Apr 3, 2023Updated 2 years ago
- AOT binary translator of Linux/ELF → WebAssembly☆403Updated this week
- Memtrace library for MirageOS☆17Feb 17, 2025Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Easy SMT solver interaction☆34Feb 3, 2026Updated last month
- Load Discord Client Mods like Vencord/Moonlight without modifying any files!☆36Jul 20, 2025Updated 8 months ago
- mirror of https://git.robur.coop/robur/http-mirage-client☆11Feb 25, 2025Updated last year
- Nix OpenTelemetry sender plugin☆76Aug 6, 2023Updated 2 years ago
- The caml walks, OCaml runs☆21Oct 11, 2023Updated 2 years ago
- Wasm Analysis Framework For Lightweight Experiments☆57Mar 2, 2026Updated 3 weeks ago
- Auditively feel the work of the runtime☆33Mar 1, 2024Updated 2 years ago
- libLISA: Instruction Discovery and Analysis on x86-64☆127Feb 21, 2025Updated last year
- A very fast linker for Linux☆3,436Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- program analysis for machine code☆37Oct 26, 2021Updated 4 years ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆72Mar 11, 2026Updated 2 weeks ago
- A self hostable nixpkgs review bot☆20Updated this week
- An implementation of the Transmission Control Protocol in OCaml☆32Feb 17, 2026Updated last month
- ☆22May 25, 2025Updated 10 months ago
- An implementation of libc written in Rust☆324Feb 26, 2026Updated last month
- 📁 A respectful, XDG-first user directories implementation for obtaining the home, cache, config, data, runtime, and state directories.☆11Dec 8, 2024Updated last year
- ☆39Oct 25, 2025Updated 5 months ago
- Ocaml modular spam filter☆16Sep 16, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Hex diff viewer using alignment algorithms from biology☆884Aug 7, 2024Updated last year
- Pair your compilers up at The ABI Cafe!☆290Jun 15, 2025Updated 9 months ago
- Ghidra extension for exporting relocatable object files☆576Mar 14, 2026Updated last week
- Experiments with structured concurrency in Rust☆16Aug 16, 2024Updated last year
- VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…☆157Sep 26, 2024Updated last year
- WIP☆17Oct 5, 2024Updated last year
- Diff nix build logs with less clutter☆14Nov 7, 2024Updated last year
- revng: the core repository of the rev.ng project☆1,643Updated this week
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- High-performance QEMU memory and instruction tracing☆556Jul 26, 2024Updated last year
- Quick File Copy using QUIC☆271Updated this week
- ☆15Sep 13, 2024Updated last year
- Program startup and thread support written in Rust☆208Feb 18, 2026Updated last month
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Feb 26, 2023Updated 3 years ago
- An implementation of execve() in user space☆35Oct 25, 2024Updated last year
- Armv8 Native Code Symbolic Simulator in Lean☆97Nov 21, 2025Updated 4 months ago