hs-to-coq
by plclub
Convert Haskell source code to Coq source code.
AI summary
Haskell to Coq converter
A tool that translates Haskell code to equivalent Coq code
- stars
- 79
- forks
- 8
- watching
- 13
- awesome lists
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Coq generator
Tool for generating Coq definitions and proofs for locally nameless representations
Coq interface library
A Coq library providing definitions and notations to facilitate interaction between Haskell developers and the Coq proof assistant.
serras/hinc111
Syntax converter
A Haskell code transpiler from another syntax to the standard Haskell syntax
Code converter
A tool for converting Haskell source code into LaTeX-compatible typesetting formats
λ-calculus compiler
Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic
Compiler installer
A tool for installing and managing the Glasgow Haskell Compiler (GHC)
JSON converter
A Haskell package that enables compile-time conversion of JSON strings to data structures using a custom quasiquoter.
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Metatheory Library
A Coq-based metatheory library providing tools and examples for mechanizing programming language definitions and reasoning about them.
Term manipulator
Provides an extension language for Coq to manipulate terms containing binders and supports scripting and metaprogramming
Logical relation library
A Coq-based library for establishing logical relations in formal verification and proof assistance
coq/vscoq349
Coq editor
An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant
Parser combinator library
A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq.
Haskell interpreter
An interactive graphical interpreter for the Haskell programming language
Coq IDE
A tool for interactive theorem proving and language support in Coq
Featured in 3 awesome lists
Each link jumps to the spot where the list mentions hs-to-coq.
