A full-stack web and TUI framework inspired by Yesod and Elm.
☆13Oct 29, 2026Updated last week
Alternatives and similar repositories for lean-tea
Users that are interested in lean-tea are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Oct 27, 2026Updated last week
- work in progress book on Scientific Computing in Lean☆14Mar 1, 2025Updated last year
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆18Jan 5, 2015Updated 11 years ago
- Haskell implementation of the Edinburgh Logical Framework☆34Jan 12, 2026Updated 9 months ago
- Lean4: Total parser combinator library with do notation☆23Sep 9, 2026Updated last month
- 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.
- Total parser combinators library for Lean4☆10May 10, 2025Updated last year
- RealWorld in Lean 4☆13Oct 14, 2026Updated 3 weeks ago
- Coq plugin for extracting Rust code☆25Jun 29, 2026Updated 4 months ago
- Topos theory in Lean 4☆19Feb 10, 2025Updated last year
- Write Python modules in Lean! (WIP)☆17Oct 28, 2026Updated last week
- 🌐 | HTTP primitives for Lean 4☆57Dec 23, 2025Updated 10 months ago
- Lean lens implementation with custom notation.☆21Jun 8, 2025Updated last year
- Interactive holes for Lean 4☆22Apr 19, 2024Updated 2 years ago
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆36Oct 15, 2026Updated 3 weeks 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.
- SQLite bindings for Lean☆54Oct 27, 2026Updated last week
- A Lean 4 formalization of partial combinatory algebras.☆15Jan 6, 2025Updated last year
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- A formalization of Shannon's seminal 1948 paper defining entropy.☆17Mar 2, 2026Updated 8 months ago
- Lua backend for Idris 2☆28Aug 14, 2022Updated 4 years ago
- Experiments on implementing Dependent Pattern Matching under Normalization by Evaluation setup.☆15Updated this week
- The original NetHack rogue-like game built as a JavaScript WebAssembly module☆10Mar 16, 2021Updated 5 years ago
- ☆23Mar 10, 2026Updated 7 months ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- 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.
- ☆10May 20, 2026Updated 5 months ago
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated last month
- Formal Verification of the OpenVM RISC-V, Keccak, and SHA-2 Extensions☆14Jul 15, 2026Updated 3 months ago
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- A Clojure wrapper around JNR-FFI☆13Aug 19, 2023Updated 3 years ago
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 6 years ago
- Tool to analyse the import structure of lean projects.☆29Oct 27, 2026Updated last week
- Total lexer and parser for Idris2☆19Sep 22, 2025Updated last year
- A Lean formalization of the theory of oracle computability and Turing degrees via partial recursive functions☆15May 28, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols☆18Updated this week
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- "Light's Out" game in Elm☆10Oct 17, 2016Updated 10 years ago
- A simple Todo-Backend application written using Go kit☆15Apr 25, 2025Updated last year
- A lean repository for building many-sorted logic, with a view towards model theory of valued fields☆14Jul 29, 2026Updated 3 months ago
- experimental LeanOS formally verified OS☆19Updated this week
- Formally Verified Float Implementation with lean4☆25Sep 12, 2026Updated last month