Awesome Open Source

Programming Languages

Search results for ocaml coq extraction

coq-extraction x

3 search results found

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]

Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]

Related Searches

Ocaml Reasonml (475)

Bindings Ocaml (428)

Ocaml Reason (394)

Ocaml Bucklescript (320)

Types Ocaml (294)

Language Ocaml (289)

Javascript Ocaml (181)

Reactjs Ocaml (168)

Ocaml Coq (163)

1-3 of 3 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.