Sqlite3 bindings for lean4
☆12Jul 12, 2026Updated 3 months ago
Alternatives and similar repositories for sqlite-lean
Users that are interested in sqlite-lean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated 2 years ago
- for learning purposes☆15Sep 23, 2026Updated last month
- Formally Verified Float Implementation with lean4☆25Sep 12, 2026Updated last month
- ☆12Jan 6, 2023Updated 3 years ago
- SQLite bindings for Lean☆54Oct 27, 2026Updated last 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.
- Power series arithmetic in Lean☆14Nov 22, 2025Updated 11 months ago
- A playable 3D voxel game built in Lean 4.☆23Jul 12, 2026Updated 3 months ago
- 🦄 Front-end build with React, Relay and GraphQL☆22Oct 30, 2025Updated last year
- ☆17Feb 18, 2026Updated 8 months ago
- A translation framework for eliminating definitional equalities in Lean☆17Jun 17, 2026Updated 4 months ago
- Lean 4 Markdown rendering library — types, rendering functions, and Represent typeclass☆14Jul 16, 2026Updated 3 months ago
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- Lean 4 interface to Eigen☆12Dec 13, 2024Updated last year
- Lean formalization of the smooth and topological Poincare conjectures following Morgan and Tian.☆15Oct 5, 2026Updated last month
- 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.
- ☆10Sep 18, 2025Updated last year
- Bindings and specification for BLAS☆11Feb 12, 2026Updated 8 months ago
- ☆17Jan 6, 2026Updated 10 months ago
- Autoformalization of Baek's solution to the moving sofa problem: the Gerver sofa is optimal☆13Sep 22, 2026Updated last month
- A YAML 1.2.2 parser in Lean 4 with the goal of **verified correctness**☆13Updated this week
- Fuzzy match at native speed☆14Sep 25, 2022Updated 4 years ago
- Formalizing the Poincaré Conjecture in Lean 4☆13Updated this week
- (Mirror) A Music formalization library and DSL in Lean 4☆28Aug 25, 2026Updated 2 months ago
- ☆14Mar 23, 2026Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- a big mono repo for ocaml☆22Feb 23, 2026Updated 8 months ago
- Minimal, type-safe error-as-values library for JS☆21Oct 10, 2025Updated last year
- My personal NUR repository☆10Updated this week
- ☆15Updated this week
- Types and aeson instances for the taskwarrior json import/export specification☆17Jul 2, 2026Updated 4 months ago
- ☆20Oct 4, 2023Updated 3 years ago
- Basedpyright extension for coc.nvim☆15Nov 1, 2026Updated last week
- A command-line application written in Rust, designed to provide quick, trie-based autocomplete suggestions.☆18Nov 5, 2024Updated 2 years ago
- ☆49Apr 27, 2026Updated 6 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.
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆18Oct 28, 2025Updated last year
- Write LaTeX presentations directly from Lean4~☆29Dec 28, 2025Updated 10 months ago
- A **dummy** k8s from scratch with my name☆24Oct 9, 2023Updated 3 years ago
- ☆14Feb 26, 2026Updated 8 months ago
- OCaml support☆34Aug 14, 2026Updated 2 months ago
- Co-inductive datatypes for Lean☆19Updated this week
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆52Updated this week
Are these results useful?