55 results found Sort:

462
5.1k
apache-2.0
65
Lean 4 programming language and theorem prover
Created 2018-04-15
35,243 commits to master branch, last one 16 hours ago
621
5.1k
agpl-3.0
64
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
Created 2015-01-23
6,861 commits to master branch, last one 20 hours ago
216
2.2k
apache-2.0
116
Lean Theorem Prover
This repository has been archived (exclude archived)
Created 2013-07-17
13,725 commits to master branch, last one about a year ago
294
1.7k
apache-2.0
53
Lean 3's obsolete mathematical components library: please use mathlib4
This repository has been archived (exclude archived)
Created 2017-07-21
18,271 commits to master branch, last one about a year ago
193
1.4k
cc0-1.0
76
Awesome List of resources on Agile Software Development.
Created 2017-09-24
219 commits to master branch, last one 3 years ago
LLMs as Copilots for Theorem Proving in Lean
Created 2023-09-09
736 commits to main branch, last one 15 days ago
一键多编译固件
Created 2020-06-01
656 commits to master branch, last one about a month ago
Tool for data extraction and interacting with Lean programmatically.
Created 2023-06-13
597 commits to main branch, last one 6 days ago
Visualizing the network of math theories.
Created 2024-05-29
5 commits to main branch, last one 8 months ago
35
421
unknown
10
Code for Parsel 🐍 - generate complex programs with language models
Created 2023-01-26
14 commits to main branch, last one 2 years ago
LuCI design theme (Suitable for lede)
Created 2022-09-07
893 commits to main branch, last one 5 months ago
Neovim support for the Lean theorem prover
Created 2020-12-30
1,989 commits to main branch, last one 3 days ago
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
This repository has been archived (exclude archived)
Created 2020-03-25
73 commits to master branch, last one 3 years ago
The "batteries included" extended library for the Lean programming language and theorem prover
Created 2022-08-28
1,024 commits to main branch, last one 3 days ago
常用 OpenWrt 软件包合集,定时自动更新,适用于 Lean 源码
This repository has been archived (exclude archived)
Created 2022-09-26
1,044 commits to master branch, last one about a year ago
LLM verified with Monte Carlo Tree Search
Created 2023-11-11
921 commits to main branch, last one 11 days ago
Retrieval-Augmented Theorem Provers for Lean
Created 2023-03-16
125 commits to main branch, last one 19 days ago
19
236
apache-2.0
5
A verification toolchain for Rust programs
Created 2021-11-02
2,798 commits to main branch, last one 4 days ago
Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
Created 2016-12-04
177 commits to main branch, last one 11 months ago
A simple way to enhance your mailto links with a convenient user interface.
Created 2018-12-14
124 commits to master branch, last one 4 years ago
55
185
apache-2.0
12
Visual Studio Code extension for the Lean 4 proof assistant
Created 2020-12-31
2,670 commits to master branch, last one 19 days ago
Theorem Proving in Lean 4
Created 2021-08-24
1,085 commits to master branch, last one 4 months ago
Lista de leituras recomendadas à todas as pessoas que desejam trilhar uma carreira de Desenvolvimento, tenham experiência na área ou não. Também é abordado livros de soft skill na estante e temas comp...
This repository has been archived (exclude archived)
Created 2019-05-21
32 commits to master branch, last one about a year ago
7
149
apache-2.0
4
eGenix PyRun - Your friendly, lean, open source Python runtime
Created 2023-05-24
351 commits to main branch, last one 3 months ago
Helper toolkit for creating your own Lean 4 UserWidgets
Created 2022-11-15
364 commits to main branch, last one 6 days ago
llmstep: [L]LM proofstep suggestions in Lean 4.
Created 2023-07-08
73 commits to master branch, last one about a year ago
49
119
other
24
战略管理越扎实,理想生活越可达。配备这组「人生战略管理帮手」,一起有思路有行动,灵活兼顾「爱与成就」 😋
Created 2017-08-27
1,893 commits to master branch, last one 4 months ago
ChatGPT plugin for theorem proving in Lean
Created 2023-06-21
14 commits to main branch, last one 10 months ago
9
109
apache-2.0
3
A project to digitalise results from physics into Lean. (formally called HepLean)
Created 2024-04-16
1,559 commits to master branch, last one 12 hours ago