OCaml companion for Lotus that provides a typed client for the Lotus local API
☆23Jul 2, 2026Updated 2 weeks ago
Alternatives and similar repositories for lotus-tui
Users that are interested in lotus-tui are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- compiler for a minimal HolyC dialect☆32Updated this week
- lexical structure inference for incomplete programs☆29Updated this week
- workbench for inspecting a typed fragment of C through parser output☆27Updated 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
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- G to C translator. G is a simple concurrent programming language for the Arduino☆15May 11, 2013Updated 13 years ago
- Phylogenetic Application written in OCaml and C☆20Jan 29, 2020Updated 6 years ago
- A simple unikernel which provides a search engine from an emails archive☆15Apr 11, 2026Updated 3 months ago
- Tools for migrating away from Lwt☆15Apr 27, 2026Updated 2 months ago
- A tool for managing inline review comments embedded in source code☆15May 18, 2026Updated 2 months ago
- Performance-first HTTP/2 implementation in OCaml☆22Nov 26, 2025Updated 7 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆32Aug 30, 2022Updated 3 years ago
- Command-line and Emacs Calendar Client☆25Updated this week
- A parsing library that compiles grammars to combinators using elimination of left recursion☆29Updated this week
- AI Agents on 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.
- A TCP/IP implementation in pure OCaml☆18Updated this week
- ☆17Mar 17, 2026Updated 4 months ago
- A little KV store implementation in OCaml to practice DB systems things☆34Jan 21, 2026Updated 6 months ago
- OCamlEditor is a source code editor and build tool for OCaml. It provides many features to facilitate editing code, accessing API refere…☆33Jul 3, 2026Updated 2 weeks ago
- A derivation explorer and logger for menhir parser☆26Dec 13, 2025Updated 7 months ago
- 🐫🎮 OCaml Game Engine☆45Mar 20, 2025Updated last year
- Example showing how to turn OCaml code (here Xmlm) into a C library.☆47Jul 24, 2020Updated 5 years ago
- ☆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
- A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…☆55Mar 25, 2012Updated 14 years ago
- OCaml notebooks as a WebComponent☆56May 4, 2026Updated 2 months ago
- Compile-time metaprogramming for OCaml☆76Aug 5, 2024Updated last year
- OCANNL: OCaml Compiles Algorithms for Neural Networks Learning☆118Updated this week
- Zero heap allocation HTTP server using OxCaml. v experimental!☆122Jan 25, 2026Updated 5 months ago
- ☆176Updated this week
- 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
- 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.
- A collection of formalized statements of conjectures in Lean.☆1,100Updated this week
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,665Jun 28, 2024Updated 2 years ago
- A Lean companion to Analysis I☆1,826Updated this week
- Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.☆24,155Updated this week
- Zstandard - Fast real-time compression algorithm☆27,434Jul 1, 2026Updated 2 weeks ago
- A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IM…☆42,435Updated this week
- The math library of Lean 4☆3,646Updated this week