Open Hub
Open Hub

 Settings |  Report Duplicate

20
I Use This!
Very High Activity

Related Projects

Analyzed 24 days ago. based on code collected 25 days ago.

Projects Similar to Coq proof assistant

I

iron lambda   (Compare Project)

Inactive

Mostly written in coq

License: Unknown


 
img avatar

bonak   (Compare Project)

Low Activity

Mostly written in coq

License: lgpl


 
img avatar

Skeptik   (Compare Project)

Inactive

Mostly written in Scala

License: Creative_Commons_NoncommercialShare_Alike-deleted


 
img avatar

Mercury Language   (Compare Project)

High Activity

Mostly written in Matlab

License: gpl


 
img avatar

HUGS   (Compare Project)

Activity Not Available

License: Unknown


 

R

rzk   (Compare Project)

Low Activity

Mostly written in Haskell

License: Unknown


 
img avatar

GAPT   (Compare Project)

Very Low Activity

Mostly written in Scala

License: gpl3_or_later


 

L

lean   (Compare Project)

Very High Activity

Mostly written in C

License: apache_2


 
img avatar

GNU CLISP - an ANSI Common Lisp   (Compare Project)

Moderate Activity

Mostly written in C

License: gpl


 
img avatar

Whiley Compiler (WyC)   (Compare Project)

Inactive

Mostly written in Java

License: BSD-3-Clause


 

People who use Coq proof assistant also use:

img avatar

OCaml   (Compare Project)

Very High Activity

Mostly written in OCaml

License: lgpl


 
img avatar

GHC   (Compare Project)

Very High Activity

Mostly written in Haskell

License: BSD-3-Clause


 
img avatar

GNU Emacs   (Compare Project)

Very High Activity

Mostly written in Emacs Lisp

License: gpl3_or_later


 
img avatar

LaTeX   (Compare Project)

High Activity

Mostly written in Lua

License: Latex_Project_Public_License


 
img avatar

Debian   (Compare Project)

Activity Not Available

Mostly written in C

License: CoreSystemIV, Distributable


 
img avatar

GNU Autoconf   (Compare Project)

Moderate Activity

Mostly written in shell script

License: gpl3_or_later


 
img avatar

GNU sed   (Compare Project)

Very Low Activity

Mostly written in C

License: gpl3_or_later


 
img avatar

GNU Make   (Compare Project)

Low Activity

Mostly written in C

License: gpl


 
img avatar

GDB   (Compare Project)

Activity Not Available

Mostly written in C

License: gpl3_or_later


 
img avatar

Git   (Compare Project)

Very High Activity

Mostly written in C

License: gpl