querycert/qcert

Compilation and Verification of Data-Centric Languages

Language: Coq - Size: 28.7 MB - Last synced at: 20 days ago - Pushed at: 10 months ago - Stars: 57 - Forks: 10

querycert/bug0007833 📦

Documents regression in OCaml type checker

Language: OCaml - Size: 163 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

querycert/jsast Fork of jscert/jscert

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

Language: Coq - Size: 13.3 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 1

querycert/opam-coq-archive Fork of coq/opam

Archive for all Coq related OPAM packages organized in various repositories

Language: OCaml - Size: 10.2 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

querycert/querycert.github.io

Language: HTML - Size: 75.7 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

querycert/coq2html Fork of xavierleroy/coq2html

An HTML documentation generator for Coq source files

Language: OCaml - Size: 21.5 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0