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

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

一键多编译固件

Tool for data extraction and interacting with Lean programmatically.

Visualizing the network of math theories.

A verification toolchain for Rust programs

A project to digitalise results from physics into Lean.

Neovim support for the Lean theorem prover

What to Read to Learn More About DevOps

Code for Parsel 🐍 - generate complex programs with language models

The Lean Computer Science Library (CSLib)

Bug-free machine learning on stochastic computation graphs

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

My personal repository of formally verified mathematics.

常用 OpenWrt 软件包合集，定时自动更新，适用于 Lean 源码

A lean framework stack for agile Web development based on Symfony and Vuetify

LLM verified with Monte Carlo Tree Search

GitHub Action 学习实例 - 自动编译 padavan 和 openWrt

Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.

Visual Studio Code extension for the Lean 4 proof assistant

Theorem Proving in Lean 4

A simple way to enhance your mailto links with a convenient user interface.