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
results
for source starred repositories
written in Coq
Clear filter
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Mathematics of Rigid Body Transformationss using Coq and MathComp
