VehpuS
Follow
Lists (32)
Algorithms
4 repositories
Animation
1 repository
Awesome Lists
1 repository
BCI
17 repositories
Books
4 repositories
Browser Extension
1 repository
Charting Tools 📈
19 repositories
Climate
5 repositories
Data Structures
1 repository
Database Tools
3 repositories
Developer Tools
1 repository
Digital Gardens
Documentation
Eye Tracking
5 repositories
Game Development
19 repositories
Games Source Code
6 repositories
GIS
9 repositories
Historical Value
1 repository
IDE Development
2 repositories
Image Manipulation
1 repository
Linting
1 repository
Machine Learning
52 repositories
Mapping 🗺️
14 repositories
Music Tools
5 repositories
Python Libraries
1 repository
React Components 🥡
8 repositories
React Native Components
4 repositories
Remote Sensing 🔮
37 repositories
Scraping Tools
2 repositories
System Utils
2 repositories
Tutorials 📝
4 repositories
Web Interactivity
1 repository
Starred repositories
5
stars
written in Lean
Clear filter
Lean 4 programming language and theorem prover
Lean 3's obsolete mathematical components library: please use mathlib4
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
A partial formalization of Geometric Algebra in the Lean formal proof verification system.
