The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
hs-to-coq
Posts with mentions or reviews of hs-to-coq.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-11-16.
-
Do you use Idris or Coq, and why?
There is even a project that converts Haskell to Coq.
-
agda2hs, verify your haskell code in agda?
PS: Obligatory plug for hs-to-coq.
notes
Posts with mentions or reviews of notes.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-01-04.
What are some alternatives?
When comparing hs-to-coq and notes you can also consider the following projects:
principia - The Principia Rewrite
agda2hs - Compiling Agda code to readable Haskell
Agda - Agda is a dependently typed programming language / interactive theorem prover.
UniMath - This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
CompCert - The CompCert formally-verified C compiler
magmide - A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.