Lists (25)
AI/ML
684 repositories
Arduino
19 repositories
Blockchain
57 repositories
CI/CD
50 repositories
CLI
270 repositories
Content Management Systems
34 repositories
Databases
172 repositories
E-Commerce
21 repositories
Flipper Zero
36 repositories
Gaming
72 repositories
Git
47 repositories
GUI
232 repositories
Hardware
48 repositories
K8s
86 repositories
Learning
146 repositories
Mobile
183 repositories
Operating Systems
61 repositories
Programming Languages
146 repositories
Raspberry Pi
19 repositories
SaaS
307 repositories
Search Engines
56 repositories
Security
705 repositories
UI/UX
238 repositories
Vim
33 repositories
Web Frameworks
85 repositories
Starred repositories
3
results
for source starred repositories
written in OCaml
Clear filter
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
MirageOS is a library operating system that constructs unikernels