50 results found Sort:
- Filter by Primary Language:
- Lean (17)
- Python (7)
- JavaScript (3)
- Shell (3)
- C++ (2)
- C (2)
- OCaml (1)
- PHP (1)
- TeX (1)
- TypeScript (1)
- C# (1)
- HTML (1)
- Jupyter Notebook (1)
- Lua (1)
- MDX (1)
- +
Lean 4 programming language and theorem prover
Created
2018-04-15
34,453 commits to master branch, last one 20 hours ago
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,357 commits to master branch, last one 2 days ago
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
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
Awesome List of resources on Agile Software Development.
Created
2017-09-24
219 commits to master branch, last one 2 years ago
LLMs as Copilots for Theorem Proving in Lean
Created
2023-09-09
696 commits to main branch, last one 17 days ago
一键多编译固件
Created
2020-06-01
648 commits to master branch, last one 5 days ago
Tool for data extraction and interacting with Lean programmatically.
Created
2023-06-13
589 commits to main branch, last one about a month ago
Visualizing the network of math theories.
Created
2024-05-29
5 commits to main branch, last one 5 months ago
What to Read to Learn More About DevOps
Created
2017-09-09
16 commits to main branch, last one 2 years ago
Code for Parsel 🐍 - generate complex programs with language models
Created
2023-01-26
14 commits to main branch, last one about a year ago
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
This repository has been archived
(exclude archived)
Created
2020-03-25
73 commits to master branch, last one 2 years ago
Neovim support for the Lean theorem prover
Created
2020-12-30
1,875 commits to main branch, last one 2 days ago
常用 OpenWrt 软件包合集，定时自动更新，适用于 Lean 源码
lean
lede
openwrt
luci-app
luci-theme
luci-app-eqos
luci-app-store
luci-app-bypass
luci-app-ddnsto
luci-app-netdata
luci-app-onliner
luci-theme-argon
openwrt-packages
luci-app-passwall
luci-app-ssr-plus
luci-app-wrtbwmon
luci-app-dockerman
luci-app-openclash
luci-app-adguardhome
luci-theme-opentomcat
This repository has been archived
(exclude archived)
Created
2022-09-26
1,044 commits to master branch, last one 9 months ago
LLM verified with Monte Carlo Tree Search
Created
2023-11-11
912 commits to main branch, last one 2 months ago
The "batteries included" extended library for the Lean programming language and theorem prover
Created
2022-08-28
971 commits to main branch, last one 2 days ago
Retrieval-Augmented Theorem Provers for Lean
Created
2023-03-16
123 commits to main branch, last one 2 months ago
Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
Created
2016-12-04
177 commits to main branch, last one 8 months ago
A verification toolchain for Rust programs
Created
2021-11-02
2,510 commits to main branch, last one 21 hours 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
Visual Studio Code extension for the Lean 4 proof assistant
Created
2020-12-31
2,646 commits to master branch, last one 20 hours ago
Theorem Proving in Lean 4
Created
2021-08-24
1,085 commits to master branch, last one about a month 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
llmstep: [L]LM proofstep suggestions in Lean 4.
Created
2023-07-08
73 commits to master branch, last one about a year ago
战略管理越扎实，理想生活越可达。配备这组「人生战略管理帮手」，一起有思路有行动，灵活兼顾「爱与成就」 😋
Created
2017-08-27
1,893 commits to master branch, last one about a month ago
Helper toolkit for creating your own Lean 4 UserWidgets
Created
2022-11-15
335 commits to main branch, last one a day ago
ChatGPT plugin for theorem proving in Lean
Created
2023-06-21
14 commits to main branch, last one 7 months ago
Use Github Actions to automatically compile Lean's Modified Lede source for K2P
Created
2020-02-19
94 commits to master branch, last one 2 years ago
The matrix cookbook, proved in the Lean theorem prover
Created
2021-10-21
132 commits to master branch, last one about a month ago
SSR 科学上网软件
Created
2020-05-11
648 commits to master branch, last one 2 years ago