lean physical unit system, SI international
☆11Oct 26, 2025Updated last year
Alternatives and similar repositories for lean-units
Users that are interested in lean-units are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆22Sep 25, 2026Updated last month
- A PCRE2 compatible regular expression engine written in Lean 4.☆20Oct 16, 2026Updated 2 weeks ago
- Bindings and specification for BLAS☆11Feb 12, 2026Updated 8 months ago
- open-source binary diff, delta/differential compression tools, VCDIFF/RFC 3284 delta compression☆12Aug 18, 2025Updated last year
- ☆11Feb 2, 2024Updated 2 years ago
- 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.
- ☆10Jan 31, 2024Updated 2 years ago
- Basic Unicode support for Lean 4☆16Updated this week
- Apix is a modern HTTP client for the command line.☆18Jan 23, 2022Updated 4 years ago
- Compile-time const Forth evaluation with macros☆36Nov 13, 2022Updated 3 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- combine the power of react-query and axios☆12Dec 15, 2023Updated 2 years ago
- A Xanalogical System for the Creation of New Literature☆13May 12, 2019Updated 7 years ago
- My solutions to some of the problems of CSSBattle☆10Feb 22, 2025Updated last year
- Markov chain Monte Carlo with Metropolis-Hasting algorithm☆19Jun 23, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Typesafe environment variables for Next.js☆21Jan 16, 2023Updated 3 years ago
- Lean 4 as a scripting language in Houdini☆25Mar 13, 2024Updated 2 years ago
- Bindings to libclingo for the lean4 prover and programming language!☆22Nov 27, 2024Updated last year
- X Project Template, X-PT, an awesome startup project for GitHub☆17Jul 28, 2026Updated 3 months ago
- A Parallel Haskell framework for particle-based Monte Carlo simulations☆13Apr 2, 2019Updated 7 years ago
- Video streaming example using FFmpeg framework and Android application.☆11Aug 25, 2020Updated 6 years ago
- ☆19Apr 5, 2025Updated last year
- ☆112Oct 20, 2026Updated last week
- Lean lens implementation with custom notation.☆21Jun 8, 2025Updated last year
- 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.
- Leaff is a diff tool for Lean environments☆26Jan 18, 2025Updated last year
- Do whatever you want to do with any function in the complex plane.☆24Updated this week
- Fermat's Last Theorem for regular primes☆73Updated this week
- A GPU accelerated, fast, interactive Mandelbrot and Julia fractal viewer using CUDA☆13May 6, 2023Updated 3 years ago
- Single tape turing machine simulator in emacs and python, inspired by http://morphett.info/turing/turing.html☆17Feb 22, 2018Updated 8 years ago
- Tool to analyse the import structure of lean projects.☆28Updated this week
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.☆56Feb 15, 2026Updated 8 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.
- WebGL-based viewer for volumetric data☆15Mar 27, 2025Updated last year
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆25Jan 15, 2025Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated 2 years ago
- work in progress book on Scientific Computing in Lean☆14Mar 1, 2025Updated last year
- ☆12Oct 17, 2018Updated 8 years ago
- A WIP definitional (co)datatype package for Lean4☆55Sep 18, 2026Updated last month
- @effect/sql interface for Kysely☆23Updated this week