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 use the link in the readme to join our open source AI research team.

Lean Theorem Prover

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

Carbon is a modern ERP/MES/QMS. Perfect for complex assembly, job shops, and configure to order manufacturing.

Awesome List of resources on Agile Software Development.

LLMs as Copilots for Theorem Proving in Lean

一键多编译固件

Tool for data extraction and interacting with Lean programmatically.

Visualizing the network of math theories.

What to Read to Learn More About DevOps

A verification toolchain for Rust programs

Code for Parsel 🐍 - generate complex programs with language models

Neovim support for the Lean theorem prover

Bug-free machine learning on stochastic computation graphs

A project to digitalise results from physics into Lean.

LuCI design theme (Suitable for lede)

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

Retrieval-Augmented Theorem Provers for Lean