Top 12 Open-Source Alternatives to Coq

Product categories

Android Dynamic Programming Language Financial Planner Generic Programming Language IDE OOP Personal Finance Programming Language Technical Computing Text Editors

Summary

The top open-source alternatives to Coq are Agda, Idris, and Racket Lang. One of the criteria for ordering this list is the number of mentions that products have on reliable external sources. You can suggest additional sources through the form here.

Agda Landing Page
1

Agda

Agda is a dependently typed functional programming language. It has inductive families, i.e.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 7 social mentions
Idris Landing Page
2

Idris

Programming, Programming Language, Learning Resources, Languages, and Frontend Development
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 1 social mentions
Racket Lang Landing Page
3

Racket Lang

Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 91 social mentions
Haskell Landing Page
4

Haskell

An advanced purely-functional programming language
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 21 social mentions
Steel Bank Common Lisp Landing Page
5

Steel Bank Common Lisp

Steel Bank Common Lisp (SBCL) is a high performance Common Lisp compiler.
Pricing:
- Open Source
#Programming Language #OOP #IDE 5 social mentions
Rust Landing Page
6

Rust

A safe, concurrent, practical language
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 44 social mentions
Python Landing Page
7

Python

Python is a clear and powerful object-oriented programming language, comparable to Perl, Ruby, Scheme, or Java.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 280 social mentions
ReasonML Landing Page
8

ReasonML

ReasonML is a new face to OCaml that--when coupled with BuckleScript--makes web development easy...
Pricing:
- Open Source
#Personal Finance #Financial Planner #Android 33 social mentions
Clojure Landing Page
9

Clojure

Clojure is a dynamic, general-purpose programming language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 36 social mentions
Elm Landing Page
10

Elm

A type inferred, functional reactive language that compiles to HTML, CSS, and JavaScript
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 114 social mentions
PureScript Landing Page
11

PureScript

PureScript is a small strongly typed programming language that compiles to JavaScript.
Pricing:
- Open Source
#Personal Finance #Financial Planner #Android 2 social mentions
Elixir Landing Page
12

Elixir

Dynamic, functional language designed for building scalable and maintainable applications
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 74 social mentions