☆32Nov 7, 2026Updated this week
Alternatives and similar repositories for LeanDB
Users that are interested in LeanDB are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Updated this week
- ☆19Nov 3, 2025Updated last year
- Easing library for OCaml.☆11Updated this week
- One library for all your OCaml tests.☆10Updated this week
- Lean 4 JSON Schema library — types, validation, correctness proofs, and deriving handlers☆29Jul 16, 2026Updated 3 months 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.
- The OCaml coding agent☆13Aug 30, 2026Updated 2 months ago
- Union mount in Haskell, with fsnotify☆12May 11, 2026Updated 5 months ago
- Highway is a simple, framework-agnostic HTTP router☆16Sep 23, 2026Updated last month
- SQLite bindings for Lean☆54Oct 27, 2026Updated last week
- Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.☆45Updated this week
- Lean specification of neural architectures with verified GPU codegen.☆48Updated this week
- a Lean4 framework for the modeling and refinement of stateful systems☆39Updated this week
- OCaml AT Protocol client — opam install atproto☆24Updated this week
- Performance-first HTTP/2 implementation in OCaml☆23Nov 26, 2025Updated 11 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A knowledge map about Haskell powered by Obsidian.☆16Aug 28, 2022Updated 4 years ago
- clients for various social media APIs in continuation passing style☆12Oct 17, 2026Updated 3 weeks ago
- ☆12Oct 4, 2024Updated 2 years ago
- Lean 4 tree-sitter bindings — typed grammar schemas, declaration extraction, source maps, and verified properties☆22Oct 29, 2026Updated last week
- OCaml bindings to quickjs☆21Updated this week
- A fork of Cerberus C adding a Lean 4 port of the semantics☆16Updated this week
- Property-based testing for OCaml, built on Hypothesis☆25Oct 25, 2026Updated 2 weeks ago
- Declare the infrastructure☆13Oct 11, 2026Updated 3 weeks ago
- Lean 4 Markdown rendering library — types, rendering functions, and Represent typeclass☆14Jul 16, 2026Updated 3 months 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.
- A TCP/IP implementation in pure OCaml☆20Updated this week
- A Typst template to quickly scaffold reports for projects and internships made at ENSIAS☆12Nov 23, 2025Updated 11 months ago
- Blurhash in Erlang☆11Mar 5, 2023Updated 3 years ago
- https://rivet.gg/blog/2025-03-23-what-would-a-w3c-standard-look-like-for-stateful-serverless-☆11Mar 25, 2025Updated last year
- Numerical computing in Hoon with support for jetted runtimes.☆11Updated this week
- S-tier S-Expression serialization & deserialization for JavaScript powered by OCaml 🐫✨☆17Feb 13, 2024Updated 2 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Updated this week
- A flexible and extensible form package in Elm that uses the platform.☆11Jul 8, 2024Updated 2 years ago
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆28Oct 24, 2026Updated 2 weeks ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆12Nov 14, 2024Updated last year
- F# Extensions and modules around Dictionary<'T>☆11Oct 30, 2026Updated last week
- ☆10Oct 2, 2024Updated 2 years ago
- ☆15Mar 21, 2024Updated 2 years ago
- Examples for the OpenCV workshop☆10Nov 26, 2017Updated 8 years ago
- A Lisp for AI: a persistent environment that humans and agents drive, extend, and grow over time.☆14Oct 6, 2026Updated last month