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

php trello jira sql agile calendar projects project-management kanban scrum lean strategy timesheets asana gantt hacktoberfest notion retrospective clickup leantime

• Updated Nov 12, 2026
• PHP

Lean 4 programming language and theorem prover

lean lean4

• Updated Nov 12, 2026
• Lean

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

rust sparql mcp theorem-proving owl ontology knowledge-graph lean infrastructure-as-code formal-verification description-logics shacl reasoning owl2 lean4 ai-native isabelle-language mcp-server

• Updated Nov 12, 2026
• Rust

Open-source manufacturing ERP, MES and QMS. Quoting, MRP, inventory, shop floor, quality and lot/serial traceability on one Postgres schema, with a REST API and MCP server. Self-host or use Carbon Cloud.

typescript react-router erp postgresql self-hosted lean manufacturing mrp mes inventory-management traceability qms ai-agents bill-of-materials manufacturing-execution-system supabase production-planning open-source-erp quality-management-system mcp-server

• Updated Nov 12, 2026
• TypeScript

Lean Theorem Prover

programming-language dependent-types theorem-proving verification type-theory lean

• Updated Oct 14, 2023
• C++

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

theorem-proving lean formal-methods formal-mathematics proof-automation formal-proofs

• Updated Nov 6, 2026
• Lean

Awesome List of resources on Agile Software Development.

awesome agile tdd user-stories kanban scrum pair-programming lean awesome-list technical-debt design-thinking product-management backlog agile-manifesto okr retrospectives agile-development scrum-master a-b-testing agile-architecture

• Updated Aug 10, 2024

LLMs as Copilots for Theorem Proving in Lean

machine-learning theorem-proving lean formal-mathematics lean4 llm llm-inference

• Updated Oct 13, 2026
• C++

A verification toolchain for Rust programs

rust compiler ocaml coq rust-lang lean formal-methods proofs program-verification formal-verification fstar hol4 deductive-reasoning

• Updated Nov 12, 2026
• OCaml

一键多编译固件

openwrt lean lienol immortalwrt

• Updated Nov 8, 2026
• Shell

Tool for data extraction and interacting with Lean programmatically.

machine-learning theorem-proving lean lean4 llm

• Updated Jan 18, 2026
• Python

A project to digitalise results from physics into Lean.

physics theorem-proving lean

• Updated Nov 12, 2026
• Lean

The Lean Computer Science Library (CSLib)

computer-science lean

• Updated Nov 12, 2026
• Lean

Visualizing the network of math theories.

visualization math lean mathlib

• Updated Jun 9, 2024
• Python

Neovim support for the Lean theorem prover

tree-sitter neovim nvim lean neovim-plugin leanprover nvim-treesitter lean4

• Updated Nov 11, 2026
• Lua

What to Read to Learn More About DevOps

devops cloud monitoring continuous-integration continuous-delivery stress site-reliability-engineering continuous-deployment culture systems release leader lean cloud-native sre failure blame systems-engineering systems-administration devops-journey

• Updated Sep 14, 2022

Code for Parsel 🐍 - generate complex programs with language models

python machine-learning ai robotics ml program-synthesis lean

• Updated Sep 17, 2023
• Python

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

lean lean4

• Updated Nov 11, 2026
• Lean

Bug-free machine learning on stochastic computation graphs

machine-learning theorem-proving verification lean

• Updated Mar 3, 2019
• Lean

A verifier for automated and interactive proofs about transition systems.

verification proof-assistant lean smt

• Updated Nov 9, 2026
• Lean