lean-rs github.com ↗
A library for running Lean code from Rust.
LibraryFrameworks & librariesleanrustinterop
Captured
Recommended in 1 thread
Similar tools
- 1 thread
- Loco ↗Frameworks & libraries1 thread
A Rust web framework built on Axum that follows Ruby on Rails conventions.
- 1 thread
- rust-brotli ↗Frameworks & libraries1 thread
Dropbox's Rust implementation of Brotli, usable as a drop-in replacement for the C library.
- 0 threads
- constantSorrow ↗Frameworks & libraries1 thread
A semi-joking Python library for sentinel and special-value constants.
- 1 thread
- 1 thread
Also in Frameworks & libraries
- 6 threads
- Slint ↗6 threads
A UI toolkit that describes interfaces in a declarative DSL, with application logic written in Rust.
- 4 threads
- 4 threads
- 4 threads
- 3 threads
- 3 threads
- 3 threads
- 2 threads
- Astro ↗2 threads
A content-focused web framework that ships minimal JavaScript and supports islands of interactive UI frameworks.
- 2 threads
- 2 threads
Link from a commenter, not checked or endorsed by us: ↗ https://github.com/conao3/lean-rs





















