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 OCaml
Clear filter
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
FUSE filesystem over Google Drive
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
