hargup
- Karma
- 908
- Created
- 13 years ago
Recent Submissions
- 1. ▲ LeanAPI: API Servers for web applications written in Lean 4 (github.com)
- 2. ▲ LeanHTTP: HTTP Client for Lean 4 (github.com)
- 3. ▲ LeanReact: Expressing Composable and Correct React Components in Lean (theoric.com)
- 4. ▲ LeanReact-v0.1: A Lean 4 framework to write web applications (github.com)
- 5. ▲ LeanHTTP: HTTP Client for Lean 4 (github.com)
- 6. ▲ LeanDB a strongly Typed SQL front end (theoric.com)
- 7. ▲ Show HN: Compute.cx is simple (modal.com like) interface for on-demand GPUs (compute.cx)
- 8. ▲ Show HN: You can continue a Claude session in Codex, and vice versa (github.com)
- 9. ▲ We rewrote an ML Framework* in Lean, (and yes it is faster*) (theoric.com)
- 10. ▲ The Co-Blub Paradox (reasonablypolymorphic.com)