system
by coq-io
Library of Unix effects for Coq.
AI summary
Unix effects library
A library of Unix effects implemented in the Coq functional programming language
- stars
- 23
- forks
- 1
- watching
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Effect library
A Coq library that enables the use of effects in functional programming with references to a global state
Coq interface library
A Coq library providing definitions and notations to facilitate interaction between Haskell developers and the Coq proof assistant.
IO library
Provides tools to implement IO programs directly in Coq
Binding manipulation library
A Coq library for manipulating binding structures in syntax with binders.
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
Formal language system
An implementation of System F in Coq, aiming to provide a rigorous and expressive formal system for describing programming languages.
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
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Coq IDE
A tool for interactive theorem proving and language support in Coq
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
jscoq/jscoq518
Coq IDE
An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser.
Function definition plugin
A package for defining functions in Coq using dependent types and pattern-matching.
