Idol, an IDL and binary encoding for zero-copy local IPC
☆51Oct 11, 2024Updated last year
Alternatives and similar repositories for idol
Users that are interested in idol are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Postgres connection pooler☆21Apr 2, 2022Updated 4 years ago
- ☆26Feb 13, 2026Updated 7 months ago
- Stupid crypto tricks☆18May 12, 2021Updated 5 years ago
- A net.Listener implementation leveraging Unix domain socket features to reliably identify client processes.☆16Jan 26, 2020Updated 6 years ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 6 years 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.
- Test data for x86 instructions☆13Apr 13, 2021Updated 5 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Aug 29, 2026Updated last month
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 4 years ago
- Pragmatic functional programming language☆11Dec 26, 2016Updated 9 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- ☆10Mar 4, 2026Updated 7 months ago
- Tools for working with Ghidra/Sleigh slaspec☆11Jan 2, 2025Updated last year
- My collection of VMs for ICFP 2006☆10May 2, 2022Updated 4 years ago
- A rust macro to include the source of all files in a given subdirectory in the generated binary, and make them available by path name thr…☆13Apr 24, 2024Updated 2 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.
- SSH Man In The Middle proxy with credentials interception, asciinema session replay, ...☆23Apr 10, 2017Updated 9 years ago
- Dynamic Tracing in Android (fork from iovisor/ply)☆21Nov 26, 2022Updated 3 years ago
- IDA plugin to recover source code from panic information on rust☆19May 9, 2025Updated last year
- Alternate firmware for cheap ultrasound directional speakers / parametric arrays. (Github archive, repo on Codeberg.)☆18Sep 5, 2025Updated last year
- Rust library for HTML santisation. https://docs.rs/sanitize_html/☆16Oct 20, 2025Updated 11 months ago
- Fast lookup of the Unicode General Category property for `char` in Rust.☆23Sep 16, 2025Updated last year
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Oct 16, 2024Updated last year
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Jun 21, 2023Updated 3 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Jun 2, 2026Updated 4 months 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.
- ☆26Jul 18, 2022Updated 4 years ago
- The SuperC Parsing Framework☆39May 21, 2025Updated last year
- Implementation of a brainfuck interpreter written for the Game Boy.☆17Jan 27, 2017Updated 9 years ago
- A library for intelligently plotting functions from the MIT Scheme REPL.☆20Feb 2, 2013Updated 13 years ago
- ☆17Jun 26, 2025Updated last year
- A commandline tool for performing text-wrapping☆17Sep 21, 2024Updated 2 years ago
- A functional scripting language.☆18Jan 18, 2025Updated last year
- VAD (Voice Activity Detection) as a service, written in Rust☆18Dec 6, 2025Updated 10 months ago
- Syntax-aware Go code search, based on the mvdan/gogrep☆47Apr 19, 2023Updated 3 years ago
- 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.
- Minimal Perfect Hashing for Go☆192Sep 4, 2024Updated 2 years ago
- A pure Go implementation of security question style password recovery that preserves end-to-end cryptographic security.☆29Nov 7, 2014Updated 11 years ago
- Example of hooking native functions in Android apps using Frida and JEB. Includes JNI analysis, sample app, and step-by-step guide for se…☆49Aug 2, 2024Updated 2 years ago
- Java dialect using S-expressions☆31Jul 4, 2018Updated 8 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 5 years ago
- ☆29Mar 16, 2025Updated last year
- An experimental Racket implementation using LLVM/MLIR☆67Sep 11, 2026Updated 3 weeks ago