46 results found Sort:
- Filter by Primary Language:
- Lean (14)
- Python (6)
- JavaScript (3)
- Shell (3)
- C++ (2)
- C (2)
- MDX (1)
- OCaml (1)
- PHP (1)
- TypeScript (1)
- C# (1)
- CSS (1)
- HTML (1)
- Lua (1)
- Makefile (1)
- +
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
Created
2015-01-23
5,918 commits to master branch, last one 3 days ago
Lean 4 programming language and theorem prover
Created
2018-04-15
33,082 commits to master branch, last one a day ago
Lean Theorem Prover
This repository has been archived
(exclude archived)
Created
2013-07-17
13,725 commits to master branch, last one 7 months ago
Lean 3's obsolete mathematical components library: please use mathlib4
Created
2017-07-21
18,271 commits to master branch, last one 7 months 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
619 commits to main branch, last one 3 days ago
一键多编译固件
Created
2020-06-01
638 commits to master branch, last one 25 days ago
Tool for data extraction and interacting with Lean programmatically.
Created
2023-06-13
483 commits to main branch, last one 4 days ago
What to Read to Learn More About DevOps
Created
2017-09-09
16 commits to main branch, last one about a year 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
LuCI design theme (Suitable for lede and OpenWrt)
Created
2022-09-07
890 commits to main branch, last one 4 months ago
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
Created
2020-03-25
73 commits to master branch, last one 2 years 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 3 months ago
neovim support for the Lean theorem prover
Created
2020-12-30
1,550 commits to main branch, last one 17 hours ago
The "batteries included" extended library for the Lean programming language and theorem prover
Created
2022-08-28
793 commits to main branch, last one 9 days ago
Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
Created
2016-12-04
177 commits to main branch, last one 2 months ago
LLM verified with Monte Carlo Tree Search
Created
2023-11-11
777 commits to main branch, last one a day 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 3 years ago
Retrieval-Augmented Theorem Provers for Lean
Created
2023-03-16
93 commits to main branch, last one 21 days 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
A verification toolchain for Rust programs
Created
2021-11-02
2,237 commits to main branch, last one a day ago
Theorem Proving in Lean 4
Created
2021-08-24
1,084 commits to master branch, last one 9 days ago
Visual Studio Code extension for the Lean 4 proof assistant
Created
2020-12-31
2,531 commits to master branch, last one 4 days ago
战略管理越扎实，理想生活越可达。配备这组「人生战略管理帮手」，一起有思路有行动，灵活兼顾「爱与成就」 😋
Created
2017-08-27
1,885 commits to master branch, last one a day ago
ChatGPT plugin for theorem proving in Lean
Created
2023-06-21
14 commits to main branch, last one about a month ago
llmstep: [L]LM proofstep suggestions in Lean 4.
Created
2023-07-08
73 commits to master branch, last one 6 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
Helper toolkit for creating your own Lean 4 UserWidgets
Created
2022-11-15
246 commits to main branch, last one 16 days ago
SSR 科学上网软件
Created
2020-05-11
648 commits to master branch, last one 2 years ago
A practical guide for Sociocracy 3.0.
Created
2016-09-14
1,176 commits to develop branch, last one 28 days ago