hargup
- Karma
- 911
- Created
- 13 years ago
Recent Submissions
- 1. ▲ LeanLLM: An LLM SDK for applications written in Lean 4 (github.com)
- 2. ▲ Introduction to Domain Driven Development in Lean (twitter.com)
- 3. ▲ LeanAPI: API Servers for web applications written in Lean 4 (github.com)
- 4. ▲ LeanHTTP: HTTP Client for Lean 4 (github.com)
- 5. ▲ LeanReact: Expressing Composable and Correct React Components in Lean (theoric.com)
- 6. ▲ LeanReact-v0.1: A Lean 4 framework to write web applications (github.com)
- 7. ▲ LeanHTTP: HTTP Client for Lean 4 (github.com)
- 8. ▲ LeanDB a strongly Typed SQL front end (theoric.com)
- 9. ▲ Show HN: Compute.cx is simple (modal.com like) interface for on-demand GPUs (compute.cx)
- 10. ▲ Show HN: You can continue a Claude session in Codex, and vice versa (github.com)