55 results found Sort:
- Filter by Primary Language:
- Lean (19)
- Python (7)
- Shell (3)
- JavaScript (3)
- C++ (2)
- C (2)
- Makefile (1)
- MDX (1)
- Nix (1)
- OCaml (1)
- PHP (1)
- TeX (1)
- TypeScript (1)
- C# (1)
- CSS (1)
- HTML (1)
- Jupyter Notebook (1)
- Lua (1)
- +
Lean 4 programming language and theorem prover
Created
2018-04-15
35,243 commits to master branch, last one 16 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,861 commits to master branch, last one 20 hours 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 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
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 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 源码
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 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
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
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
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
战略管理越扎实,理想生活越可达。配备这组「人生战略管理帮手」,一起有思路有行动,灵活兼顾「爱与成就」 😋
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
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