Rust interposition layer for glibc: transparent safety membrane that incrementally replaces C library functions with memory-safe Rust implementations
☆49Aug 9, 2026Updated this week
Alternatives and similar repositories for frankenlibc
Users that are interested in frankenlibc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Memory-safe, clean-room Rust reimplementation of pandas with packetized conformance gates, strict/hardened runtime modes, and RaptorQ-bac…☆21Updated this week
- Memory-safe clean-room Redis reimplementation in Rust with strict/hardened compatibility modes, deterministic replication semantics, diff…☆21Updated this week
- Trust-native JavaScript/TypeScript runtime platform built on franken_engine with deterministic compatibility, migration autopilot, extens…☆28Updated this week
- Native Rust runtime for adversarial extension workloads with deterministic replay, cryptographic decision receipts, and fleet-scale conta…☆30Updated this week
- Memory-safe FUSE reimplementation of ext4 and btrfs in Rust with block-level MVCC and RaptorQ self-healing. 22-crate workspace, zero unsa…☆20Updated this week
- 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.
- Rust-first Mermaid-compatible diagram engine with smarter parsing, deterministic layouts, and high-quality output across CLI, SVG, termin…☆23Updated this week
- Spec-first Rust port of TOON (a token-efficient data format): deterministic JSON<->TOON conversion with strict validation and streaming s…☆25Updated this week
- Bayesian process classifier that detects abandoned/zombie processes and recommends safe cleanup actions☆27Jul 24, 2026Updated 2 weeks ago
- Durable, local-first, explainable memory for coding agents. A Rust CLI memory substrate built on the franken-stack (Asupersync, FrankenSQ…☆41Updated this week
- Agent-first Rust ASR orchestration stack: Bayesian backend routing across whisper.cpp/insanely-fast-whisper/whisper-diarization, real-tim…☆41Updated this week
- Intercepts cargo/gcc builds from AI coding agents via hooks and transparently routes them to remote worker machines, returning artifacts …☆58Updated this week
- Independent ground-up Rust reimplementation of SQLite with concurrent writers and information-theoretic durability☆212Updated this week
- Learn and explore the world of phages, the viruses that attack bacteria. A window into the world of genetics.☆27Jul 24, 2026Updated 2 weeks ago
- TUI for combining source code files into LLM-ready prompts: tree explorer, syntax preview, token estimation, and structured XML output☆20Jul 3, 2026Updated last month
- 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.
- Terminal hypervisor for AI agent swarms: real-time pane capture, state-machine pattern detection, and a JSON API for coordinating fleets …☆105Updated this week
- Beautiful terminal output for Rust inspired by Python's Rich: tables, panels, syntax highlighting, progress bars, and full-color renderin…☆79Updated this week
- Fixes misaligned right borders in ASCII art diagrams with a single command☆29Jul 25, 2026Updated 2 weeks ago
- CLI tool that converts public share links from ChatGPT, Gemini, Grok, and Claude into clean Markdown and static HTML transcripts with Git…☆28Apr 25, 2026Updated 3 months ago
- ☆21Mar 10, 2026Updated 4 months ago
- Plan-first Rust continuum for certified geometry, physics simulation, optimization, and rendering.☆39Updated this week
- Rust web framework inspired by Python's FastAPI: type-safe routing, zero-copy parsing, OpenAPI generation, and structured concurrency via…☆23Updated this week
- Async runtime for Rust where correctness is structural: region-owned tasks, cancel-correct protocols, capability-gated effects, and deter…☆255Updated this week
- Prevent processes from taking down your machine or making it unresponsive.☆31Jul 31, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Do miniLock encryption operations on a web page of your own.☆11Mar 21, 2016Updated 10 years ago
- A certified RISC-V Interpreter with Hoare-logic in Lean☆22May 11, 2026Updated 2 months ago
- Pure-bash CLI for keeping hundreds of GitHub repos in sync: parallel clone/pull, conflict detection, JSON output, and meaningful exit cod…☆105Jul 24, 2026Updated 2 weeks ago
- ARCHIVED! DO NOT USE!☆24Jan 17, 2018Updated 8 years ago
- WybeCoder Verified Generation of Imperative Code with LLMs☆37May 6, 2026Updated 3 months ago
- The open-source safety layer for AI agents — block unsafe tool calls, require approval, enforce budgets, audit, replay.☆19Aug 3, 2026Updated last week
- The most advanced, lightweight, and undetectable C++ open-source utility client base for Minecraft. Built with ImGui and modular architec…☆25Mar 21, 2026Updated 4 months ago
- An ott-like DSL embedded in Lean.☆22Jul 16, 2026Updated 3 weeks ago
- Do you even science, bro? Using RNN's to predict scientific titles.☆14Jun 5, 2017Updated 9 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.
- Iterative specification refinement tool: feeds your docs through GPT Pro Extended Reasoning via Oracle for multiple revision rounds until…☆66Mar 22, 2026Updated 4 months ago
- An Agent Development Kit (ADK) allowing for seamless creation of A2A-compatible agents written in Rust.☆14Updated this week
- On the roots of beauty☆13Nov 27, 2022Updated 3 years ago
- A curated collection of battle-tested prompts for agentic coding - Browse, copy, and install as Claude Code skills☆113Jul 27, 2026Updated last week
- A CLI tool for CIs and build scripts, making file system based caching easy and correct (locking, eviction, etc.)☆17Mar 20, 2026Updated 4 months ago
- A lightning marketplace and lightweight learning management system.☆10Nov 10, 2023Updated 2 years ago
- ☆19Apr 20, 2026Updated 3 months ago