Lean Lang

Lean is a theorem prover and programming language that enables correct, maintainable, and formally verified code.

Visit lean-lang.org ↗More in Software Development

Related in the catalogue

A symlink farm manager

gnu.org

Takes distinct packages of software and/or data located in separate directories on the filesystem, and makes them appear to be installed in the same place.

Software Development Developer Experience Configuration Workspace Configurations Check It Out Developer Tools Command Line Tools

Blacksmith

blacksmith.sh

Speed up your GitHub actions with Blacksmith. Run CI/CD 2x faster, download caches 4x faster, build Docker images 40x faster, and eliminate queue times. Start free today.

Continuous Deployment Continuous Integration CI CD Tools DevOps Dev Ops Tools

Build your Component Library - shadcn/ui

ui.shadcn.com

A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. Open Code.

Software Development Lego Kit Engineering Tools Component Library Open Source UI Libraries

ChromaDB

trychroma.com

Chroma is the open-source AI application database. Batteries included.

Software Development Databases Database AI Toolkit Must Have Data Augmenters