cheerios
by uwplse
Formally verified Coq serialization library with support for extraction to OCaml
AI summary
Serialization library
A formally verified serialization library for Coq
- stars
- 23
- forks
- 5
- watching
- 30
Similar projects
Found by comparing what the projects do, not just their names.
Type relationship finder
Automatically discovers and proves relationships between types in Coq to simplify proof development and code reuse.
Proof assistant library
A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants.
Coq IDE
A tool for interactive theorem proving and language support in Coq
Monoid library
A formalisation of Partial Commutative Monoids (PCMs) for verification of concurrent programs.
Proof assistant library
Python bindings for Coq's interactive proof assistant
Web server
A Coq-based web server written in a functional programming language
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Undecidability library
A collection of mechanized undecidability proofs in Coq
Coinductive proof library
A Coq library for proving properties about stateful systems through parameterized coinduction
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Serialization library
A Swift serialization framework allowing encoding and decoding of various data types
Serialization library
A serialization library for the D programming language.
nixman/yas734
Serialization library
An efficient serialization library with support for various data types and formats
IO library
Provides tools to implement IO programs directly in Coq
