pluto
A web server written in Coq.
AI summary
Web server
A Coq-based web server written in a functional programming language
- stars
- 86
- forks
- 1
- watching
- 9
Similar projects
Found by comparing what the projects do, not just their names.
Parser combinator library
A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq.
Concurrency semantics
Development of a promising semantics for relaxed-memory concurrency
Relational programming semantics
A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
Number library
A Coq library providing support for arbitrarily large numbers
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Serialization library
A formally verified serialization library for Coq
Puzzle game
A Coq implementation of the Japanese warehouse keeper's puzzle game Sokoban
