☆17Jan 6, 2026Updated 9 months ago
Alternatives and similar repositories for lean-sdl3
Users that are interested in lean-sdl3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple Raycasting Example in Lean4 using SDL3☆21Oct 9, 2026Updated 2 weeks ago
- ☆12Mar 2, 2026Updated 7 months ago
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- Chip 8 emulator written in Rust 🕹️☆11Feb 6, 2024Updated 2 years ago
- A TOML parser for Idris 2☆17Jun 27, 2024Updated 2 years 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.
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Typed pure FP where data is syntax sugar for functions☆11Nov 6, 2025Updated 11 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆25Oct 8, 2026Updated 3 weeks ago
- A date and time library for Lean 4☆15Apr 12, 2025Updated last year
- Raylib bindings for Lean4☆33Apr 28, 2025Updated last year
- Experiments with SAT solvers with proofs in Lean 4☆64Jun 23, 2024Updated 2 years ago
- a small one-file lisp implemented in kind2, intentionally incomplete☆11Feb 2, 2023Updated 3 years ago
- Native, high-performance, cross-platform desktop apps - built with Reason!☆13Sep 8, 2025Updated last year
- 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.
- (Mirror) A Music formalization library and DSL in Lean 4☆27Aug 25, 2026Updated 2 months ago
- sockets for Lean 4☆23Jul 10, 2025Updated last year
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- Lean 4 as a scripting language in Houdini☆25Mar 13, 2024Updated 2 years ago
- Lean4 bindings for raylib☆29Aug 3, 2026Updated 2 months ago
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- 🧪 | Lisp with REPL and macros which will compile itself☆14Dec 4, 2024Updated last year
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆36Oct 15, 2026Updated 2 weeks ago
- Lean 4 formalization of Rubik's cubes☆36Feb 17, 2025Updated last year
- 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.
- ☆22Aug 23, 2026Updated 2 months ago
- Tool for compiling Lean to WASM☆29Mar 17, 2024Updated 2 years ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆51Apr 22, 2026Updated 6 months ago
- Haskell bindings to Chez Scheme☆11Sep 4, 2023Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- A WIP definitional (co)datatype package for Lean4☆55Sep 18, 2026Updated last month
- ☆19Apr 5, 2025Updated last year
- Connecting bv_decide to SMTLIB.☆19Oct 19, 2026Updated last week
- IDE support for the functional logic programming language Curry☆37Sep 14, 2026Updated last month
- 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.
- ☆19Jan 20, 2025Updated last year
- A Testing Framework for Lean☆86Oct 21, 2026Updated last week
- The standard template to create a lean game☆57Updated this week
- Combinatorial game library in Lean 4☆113Updated this week
- A Python environment manager built in Lean 4☆11Jun 22, 2026Updated 4 months ago
- Formalization of the Rupert Problem for convex polyhedra.☆21Oct 13, 2026Updated 2 weeks ago
- Toy programming language☆20May 18, 2024Updated 2 years ago