algebraic-dev / httpLinks
π | HTTP primitives for Lean 4
β39Updated 8 months ago
Alternatives and similar repositories for http
Users that are interested in http are comparing it to the libraries listed below
Sorting:
- Parser Combinator Library for Lean 4β50Updated 2 weeks ago
- sockets for Lean 4β18Updated 11 months ago
- high-performance cubical evaluationβ73Updated last month
- A Testing Framework for Leanβ56Updated 2 months ago
- A toy example of a verified compiler.β28Updated 2 months ago
- Lean 4 port of Megaparsecβ29Updated last year
- Language Server for Agdaβ112Updated 6 months ago
- Demo for dependent types + runtime code generationβ69Updated 4 months ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.β77Updated 2 weeks ago
- Eventually a practical 2-level TT-based compilerβ27Updated 2 months ago
- Experiments with SAT solvers with proofs in Lean 4β57Updated last year
- Write C shims from within Lean code.β57Updated last month
- βΎοΈ A library for universe levels and universe polymorphismβ34Updated 6 months ago
- This aims to be the most pretentious implementation of stlc in existenceβ63Updated 3 years ago
- A core language and API for dependently typed languagesβ94Updated 4 months ago
- A WIP definitional (co)datatype package for Lean4β38Updated 6 months ago
- Distributors - Unifying Parsers, Printers & Grammarsβ25Updated last month
- Lambda normalization and conversion checking benchmarks for various implementationsβ59Updated 4 years ago
- A work-in-progress core language for Agda, in Agdaβ52Updated last week
- Formalising the WASM spec in Leanβ23Updated last year
- Ground Zero: Lean 4 HoTT Libraryβ62Updated 2 weeks ago
- A tutorial on how Agda infers thingsβ42Updated 4 years ago
- maze game encoded in Lean 4 syntaxβ58Updated 2 months ago
- High level commands to declare a hierarchy based on packed classesβ99Updated 3 weeks ago
- SDL2 bindings for leanβ22Updated last year
- Prototype implementations of systems based on setoid type theoryβ65Updated 4 years ago
- β43Updated 3 years ago
- Mathlib search toolβ92Updated 2 weeks ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]β41Updated 2 weeks ago
- Minimalistic dependent type theory with syntactic metaprogrammingβ57Updated last year