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:
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- 🐒 The Blow Your Mind Conference☆15Dec 21, 2025Updated last month
- Nix Expressions for Altera(Intel) Quartus☆17Oct 28, 2020Updated 5 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Apr 23, 2025Updated 9 months ago
- Automatic versioning of JSON formats for Haskell data types (with backwards compatibility)☆32Jan 11, 2026Updated last month
- ☆28Sep 12, 2025Updated 5 months ago
- 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
- A Reddit clone developed as a monorepo with React + Relay + Node.js + MongoDB☆35Mar 7, 2023Updated 2 years ago
- Counts commits across all organisation repos and gives you some pretty charts☆12Nov 16, 2023Updated 2 years ago
- Fast and clean schedule generator for IUers!☆11Jan 5, 2023Updated 3 years ago
- Ontologies and Semantic Knowledge Representation in the Domain of Materials Science and Engineering☆11Oct 22, 2020Updated 5 years ago
- App for integrating Denon DRA-F109 stereo receiver with Raspberry Pi☆10Jun 17, 2022Updated 3 years ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- Godot community health files☆12Apr 30, 2024Updated last year
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- Rust implementation of the Ulrich Drepper's "What every programmer should know about memory"☆13Aug 24, 2023Updated 2 years ago
- OpenPix/Woovi Java SDK☆10Jul 25, 2024Updated last year
- Apache Airflow☆11Oct 30, 2025Updated 3 months ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- QGIS is a free, open source, cross platform (lin/win/mac) geographical information system (GIS)☆10Feb 5, 2026Updated last week
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- For hosting ATS3 and developing CodeDepot☆16Feb 6, 2026Updated last week
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 2 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 2022Updated 3 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 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
- A service scheduler and load balancer.☆10Jul 10, 2024Updated last year
- ☆11Nov 7, 2025Updated 3 months ago
- Home to my personal configuration files.☆12Updated this week
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- funky fun fuzzer☆11Jul 6, 2021Updated 4 years ago
- JavaScript Playground similar to runkit but on top of MDX and local first☆13Oct 9, 2020Updated 5 years ago
- ⚙️ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.☆11Mar 21, 2025Updated 10 months ago
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- Rust driver for XPT2046 touch controller☆10May 14, 2024Updated last year