Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for standard library lean
lean
x
standard-library
x
4 search results found
Leanbot
⭐
12
IRC-bot written in Lean (https://leanprover.github.io/)
Clean Core
⭐
8
A clean and lean reimagining of the C++ standard library
Leanproved
⭐
8
Theorems proved using the Lean prover.
Lean Kotlin
⭐
7
Lean Kotlin Resources - The Essentials
Related Searches
Openwrt Lean (807)
Shell Lean (764)
Firmware Lean (473)
Javascript Lean (193)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.