Coq proof assistant

C-CoRN   (Compare Project)

Inactive

Mostly written in coq

License: Unknown

BRILLANT   (Compare Project)

Low Activity

Mostly written in coq

License: CECILL-2.0

Skeptik   (Compare Project)

High Activity

Mostly written in Scala

License: Unknown

sarlab   (Compare Project)

Very Low Activity

Mostly written in C++

License: GPL-3.0+

Mercury Language   (Compare Project)

Moderate Activity

Mostly written in Matlab

License: GPL-2.0+

Erlang   (Compare Project)

Very High Activity

Mostly written in Erlang

License: ErlPL-1.0

HUGS   (Compare Project)

Activity Not Available

Mostly written in C

License: GPL-2.0+

CLISP - an ANSI Common Lisp   (Compare Project)

Activity Not Available

Mostly written in Lisp

License: GPL-2.0+

paradox   (Compare Project)

Activity Not Available

Mostly written in Haskell

License: BSD-3-Clause

Whiley (Programming Language)   (Compare Project)

Very High Activity

Mostly written in Java

License: BSD-3-Clause

OCaml   (Compare Project)

High Activity

Mostly written in Objective Caml

License: LGPL, QPL-1.0

Darcs   (Compare Project)

Activity Not Available

License: GPL-2.0+

GHC   (Compare Project)

Very High Activity

Mostly written in Haskell

License: BSD-3-Clause

GNU Emacs   (Compare Project)

Very High Activity

Mostly written in Emacs Lisp

License: GPL-3.0+

LaTeX   (Compare Project)

Very High Activity

Mostly written in DTX for TeX/LaTeX

License: LPPL

GNU Autoconf   (Compare Project)

Moderate Activity

Mostly written in Perl

License: GPL-3.0+

Debian GNU/Linux   (Compare Project)

Very High Activity

Mostly written in C

License: Distributable

GNU sed   (Compare Project)

Very Low Activity

Mostly written in C

License: GPL-2.0+

GNU Make   (Compare Project)

Low Activity

Mostly written in C

License: GPL-2.0+

GDB   (Compare Project)

Very High Activity

Mostly written in C

License: GPL-3.0+