workbench for inspecting a typed fragment of C through parser output
☆27Jul 21, 2026Updated this week
Alternatives and similar repositories for linnaea
Users that are interested in linnaea are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- lexical structure inference for incomplete programs☆29Updated this week
- library for userspace drivers that need DMA buffers mapped through VFIO☆25Updated this week
- compiler for a minimal HolyC dialect☆32Updated this week
- aarch64 EL2 hypervisor for QEMU virt that boots at EL2☆22Updated this week
- OCaml companion for Lotus that provides a typed client for the Lotus local API☆23Jul 2, 2026Updated 2 weeks 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 tool for managing inline review comments embedded in source code☆15May 18, 2026Updated 2 months ago
- Simple AST for reverse engineering, purely meant as an example.☆19Dec 10, 2025Updated 7 months ago
- Command-line and Emacs Calendar Client☆25Updated this week
- A TCP/IP implementation in pure OCaml☆18Updated this week
- My giant OxCaml monorepo☆26Apr 2, 2026Updated 3 months ago
- A little KV store implementation in OCaml to practice DB systems things☆34Jan 21, 2026Updated 6 months ago
- 🐫🎮 OCaml Game Engine☆45Mar 20, 2025Updated last year
- ☆45Jul 3, 2026Updated 2 weeks ago
- Direct-style parser combinator library for OCaml 5☆54Apr 15, 2026Updated 3 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.
- A library for building dynamic terminal apps, using bonsai☆211Jul 10, 2026Updated last week
- OCaml notebooks as a WebComponent☆56May 4, 2026Updated 2 months ago
- Modern, type-safe, contract-first web framework for OCaml 5☆54Updated this week
- Implementations of various type systems in OCaml.☆1,605Aug 31, 2015Updated 10 years ago
- Zero heap allocation HTTP server using OxCaml. v experimental!☆122Jan 25, 2026Updated 5 months ago
- Rusty Hypervisor - Windows UEFI Blue Pill Type-1 Hypervisor in Rust (Codename: Illusion)☆411May 14, 2026Updated 2 months ago
- A Rust verification tool☆462Updated this week
- KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization☆501Jun 26, 2026Updated 3 weeks ago
- Programming Languages Zoo☆1,592Jun 18, 2024Updated 2 years ago
- 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.
- Box3D is a 3D physics engine for games☆5,428Updated this week
- A new bootable USB solution.☆78,139Jun 29, 2026Updated 3 weeks ago
- Port of OpenAI's Whisper model in C/C++☆52,010Jul 11, 2026Updated last week
- Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.☆87,339Updated this week
- An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.☆194,848Jun 26, 2026Updated 3 weeks ago
- Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one☆94,917Updated this week
- A cat(1) clone with wings.☆59,826Jul 1, 2026Updated 2 weeks ago
- 🤱🏻 Turn any webpage into a desktop app with one command.☆60,076Updated this week
- Warp is an agentic development environment, born out of the terminal.☆63,512Updated this week
- 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.
- A modern runtime for JavaScript and TypeScript.☆107,766Updated this week
- A coding agent for open models like Kimi K3☆67,058Updated this week
- An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.☆48,944Updated this week
- Protocol Buffers - Google's data interchange format☆71,604Updated this week
- Build cross-platform desktop apps with JavaScript, HTML, and CSS☆122,122Updated this week
- Godot Engine – Multi-platform 2D and 3D game engine☆114,445Updated this week
- Language Savant. If your repository's language is being reported incorrectly, send us a pull request!☆13,597Updated this week