axiomed / http
🌐 | HTTP primitives for Lean 4
☆25Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for http
- sockets for Lean 4☆17Updated 3 months ago
- Language Server for Agda☆102Updated last week
- A core language and API for dependently typed languages☆89Updated 11 months ago
- Package manager for Idris☆35Updated 2 years ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- being an operating system for typechecking processes☆121Updated last year
- A Testing Framework for Lean☆44Updated 3 weeks ago
- high-performance cubical evaluation☆68Updated 3 months ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- Lean 4 port of Megaparsec