Stars
3
stars
written in TypeScript
Clear filter
A tiny color picker custom element for modern web apps (2.7 KB) 🎨
Lean theorem proving interface which feels like pen-and-paper proofs.
Semantic search over every Emergent Ventures winner.