coq-simple-io
IO library
Provides tools to implement IO programs directly in Coq
IO for Gallina
31 stars
4 watching
5 forks
Language: Coq
last commit: 2 months ago
Linked from 2 awesome lists
coqextractionocaml
uhub/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
 ejgallego/coq-lsp | A tool for interactive theorem proving and language support in Coq | 152 |
 coq-io/io | A Coq library that enables the use of effects in functional programming with references to a global state | 64 |
| coq-io/system | A library of Unix effects implemented in the Coq functional programming language | 23 |
| ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
 coq-community/gaia | A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics | 28 |
 jwiegley/coq-haskell | A Coq library providing definitions and notations to facilitate interaction between Haskell developers and the Coq proof assistant. | 167 |
 uwplse/cheerios | A formally verified serialization library for Coq | 23 |
| lysxia/advent-of-coq-2018 | Formally verifying and implementing solutions to Advent of Code 2018 challenges in Coq | 140 |
 coq/vscoq | A Visual Studio Code extension for Coq proof assistant support | 343 |
 jscoq/jscoq | An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser. | 515 |
 mit-plv/coqutil | A collection of reusable tools and utilities for working with the Coq proof assistant | 41 |
| coq-community/coqeal | A Coq library providing algebraic data structures and algorithms | 66 |
 lpcic/coq-elpi | A Coq plugin embedding Elpi to extend Coq's capabilities with a dialect of lambda-prolog for metaprogramming and scripting. | 139 |
 ptival/peacoq | A Coq-based IDE with OCaml plugin and TypeScript support | 106 |