HTTP specification in Coq, testable and verifiable
☆18Feb 22, 2026Updated last week
Alternatives and similar repositories for coq-http
Users that are interested in coq-http are comparing it to the libraries listed below
Sorting:
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- the blog "Machine Logic"☆22Feb 26, 2026Updated last week
- Nix Expressions for Altera(Intel) Quartus☆17Oct 28, 2020Updated 5 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Feb 26, 2026Updated last week
- Library to create Coq record update functions☆48Nov 25, 2025Updated 3 months ago
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆24Dec 17, 2022Updated 3 years ago
- ☆28Sep 12, 2025Updated 5 months ago
- A proof of Abel-Ruffini theorem.☆30Oct 17, 2025Updated 4 months ago
- Low-overhead effect management for concrete monads☆37Mar 25, 2022Updated 3 years ago
- A Reddit clone developed as a monorepo with React + Relay + Node.js + MongoDB☆35Mar 7, 2023Updated 3 years ago
- IO for Gallina☆34Dec 17, 2025Updated 2 months ago
- 🧮 | Writing an Equation Solver☆34Aug 5, 2023Updated 2 years ago
- App for integrating Denon DRA-F109 stereo receiver with Raspberry Pi☆10Jun 17, 2022Updated 3 years ago
- Apache Airflow☆11Oct 30, 2025Updated 4 months ago
- Godot community health files☆12Apr 30, 2024Updated last year
- Ontologies and Semantic Knowledge Representation in the Domain of Materials Science and Engineering☆11Oct 22, 2020Updated 5 years ago
- Fast and clean schedule generator for IUers!☆12Jan 5, 2023Updated 3 years ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- A framework for building native apps with React.☆11Oct 4, 2021Updated 4 years ago
- ☆11Oct 19, 2018Updated 7 years ago
- ☆11Mar 17, 2021Updated 4 years ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆18Nov 24, 2017Updated 8 years ago
- An emoji picker view made with SwiftUI.☆12Apr 14, 2021Updated 4 years ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- JavaScript Playground similar to runkit but on top of MDX and local first☆13Oct 9, 2020Updated 5 years ago
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 2 years ago
- Rust implementation of the Ulrich Drepper's "What every programmer should know about memory"☆13Aug 24, 2023Updated 2 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- A simple optics library based on existential encoding☆14Apr 28, 2022Updated 3 years ago
- Home to my personal configuration files.☆12Updated this week
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 9 months ago
- ☆23Sep 22, 2021Updated 4 years ago
- Extrator do conteúdo da página de transparência da Secretaria de Segurança Pública de São Paulo☆10Aug 25, 2018Updated 7 years ago
- ☆11Nov 7, 2025Updated 3 months ago