🛡️ ⚛️ A simple, scalable, and powerful architecture for building production ready React applications.
- react
- react-applications
- react-best-practice
- react-typescript
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic