liyishuai / coq-httpView external linksLinks
HTTP specification in Coq, testable and verifiable
☆16Oct 1, 2025Updated 4 months ago
Alternatives and similar repositories for coq-http
Users that are interested in coq-http are comparing it to the libraries listed below
Sorting:
- the blog "Machine Logic"☆22Feb 4, 2026Updated last week
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- 🐒 The Blow Your Mind Conference☆15Dec 21, 2025Updated last month
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Apr 23, 2025Updated 9 months ago
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆24Dec 17, 2022Updated 3 years ago
- ☆28Sep 12, 2025Updated 5 months ago
- Node library to automate Chromium, Firefox and WebKit browsers☆12Updated this week
- A proof of Abel-Ruffini theorem.☆30Oct 17, 2025Updated 3 months ago
- Low-overhead effect management for concrete monads☆37Mar 25, 2022Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Sep 10, 2025Updated 5 months ago
- IO for Gallina☆33Dec 17, 2025Updated last month
- Fast and clean schedule generator for IUers!☆11Jan 5, 2023Updated 3 years ago
- 🧮 | Writing an Equation Solver☆34Aug 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
- App for integrating Denon DRA-F109 stereo receiver with Raspberry Pi☆10Jun 17, 2022Updated 3 years ago
- Godot community health files☆12Apr 30, 2024Updated last year
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- A WhatsApp client library for NodeJS that connects through the WhatsApp Web browser app☆10Mar 16, 2024Updated last year
- A netmap-based userspace network stack.☆10May 7, 2015Updated 10 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- GTK/Rust based viewer for the Mandelbrot set☆13Nov 13, 2025Updated 3 months ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 10 months 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
- An emoji picker view made with SwiftUI.☆12Apr 14, 2021Updated 4 years ago
- CVE-2023-40028 affects Ghost, an open source content management system, where versions prior to 5.59.1 allow authenticated users to uploa…☆12Jan 7, 2025Updated last year
- A framework for building native apps with React.☆11Oct 4, 2021Updated 4 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- ⚙️ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.☆11Mar 21, 2025Updated 10 months ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last week
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆12Nov 17, 2022Updated 3 years ago
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- QGIS is a free, open source, cross platform (lin/win/mac) geographical information system (GIS)☆10Updated this week
- funky fun fuzzer☆11Jul 6, 2021Updated 4 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- ☆11Oct 19, 2018Updated 7 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- ☆23Sep 22, 2021Updated 4 years ago
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 2 years ago