lexical structure inference for incomplete programs
☆29Jul 21, 2026Updated this week
Alternatives and similar repositories for mirror
Users that are interested in mirror are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- workbench for inspecting a typed fragment of C through parser output☆27Updated this week
- compiler for a minimal HolyC dialect☆32Updated this week
- library for userspace drivers that need DMA buffers mapped through VFIO☆25Updated 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Pointer encryption library in rust.☆16Apr 13, 2025Updated last year
- A simple unikernel which provides a search engine from an emails archive☆15Apr 11, 2026Updated 3 months ago
- 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
- AMD Type-2 Hypervisor (Augmented)☆22Feb 23, 2026Updated 4 months ago
- Performance-first HTTP/2 implementation in OCaml☆22Nov 26, 2025Updated 7 months ago
- A TCP/IP implementation in pure OCaml☆18Updated this week
- ☆21Updated this week
- A derivation explorer and logger for menhir parser☆26Dec 13, 2025Updated 7 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 🐫🎮 OCaml Game Engine☆45Mar 20, 2025Updated last year
- Direct-style parser combinator library for OCaml 5☆54Apr 15, 2026Updated 3 months ago
- OCaml notebooks as a WebComponent☆56May 4, 2026Updated 2 months ago
- Linux Process Injection via Seccomp Notifier☆95Dec 9, 2025Updated 7 months ago
- ☆62Jan 30, 2026Updated 5 months 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
- Programming Languages Zoo☆1,592Jun 18, 2024Updated 2 years ago
- Advanced usermode anti-anti-debugger. Forked from https://bitbucket.org/NtQuery/scyllahide☆4,233Jun 4, 2024Updated 2 years ago
- 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.
- A new bootable USB solution.☆78,139Jun 29, 2026Updated 3 weeks ago
- Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies☆74,901Updated this week
- π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a …☆82,442Updated 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
- Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGad…☆62,124Updated this week
- Warp is an agentic development environment, born out of the terminal.☆63,512Updated this week
- Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems☆10,318Jun 23, 2026Updated 3 weeks ago
- 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies☆72,291Updated this week
- A new type of shell☆40,063Updated this week
- Comfortably monitor your Internet traffic 🕵️♂️☆40,093Updated this week
- 不再维护，自寻替代品。 Qt based cross-platform GUI proxy configuration manager (backend: sing-box)☆15,464Dec 12, 2024Updated last year
- GoogleTest - Google Testing and Mocking Framework☆38,847Updated this week
- A post-modern modal text editor.☆45,542Updated this week
- ClickHouse® is a real-time analytics database management system☆48,764Updated this week