Awesome Open Source

Programming Languages

Search results for ocaml coq library

3 search results found

Cheerios ⭐ 22

Formally verified Coq serialization library with support for extraction to OCaml

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

Coq Plugin Lib ⭐ 6

Library of useful utility functions for Coq plugins

Related Searches

Ocaml Reasonml (475)

Bindings Ocaml (428)

Ocaml Reason (394)

Ocaml Bucklescript (320)

Types Ocaml (294)

Language Ocaml (289)

Javascript Ocaml (181)

Functional Programming Ocaml (176)

Reactjs Ocaml (168)

1-3 of 3 search results

Privacy | About | Terms | Follow Us On Twitter

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