Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.

Lean 4 programming language and theorem prover

A library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups. If you are excited about democratizing AI access & AI agents, please star ⭐️ this repository and apply using the link in the readme to join our open source AI research team.

Lean Theorem Prover

Carbon is an open source ERP, MES and QMS for manufacturing. Perfect for complex assembly, contract manufacturing, and configure to order manufacturing.

Lean 3's obsolete mathematical components library: please use mathlib4

Awesome List of resources on Agile Software Development.

LLMs as Copilots for Theorem Proving in Lean

一键多编译固件

A verification toolchain for Rust programs

Tool for data extraction and interacting with Lean programmatically.

Visualizing the network of math theories.

A project to digitalise results from physics into Lean.

The Lean Computer Science Library (CSLib)

Neovim support for the Lean theorem prover

What to Read to Learn More About DevOps

Code for Parsel 🐍 - generate complex programs with language models

Bug-free machine learning on stochastic computation graphs

The "batteries included" extended library for the Lean programming language and theorem prover

LuCI design theme (Suitable for lede)