Top 12 Open-Source Alternatives to Isabelle

Product categories

Android Dynamic Programming Language Financial Planner Game Engine Generic Programming Language IDE JVM Programming Language OOP Personal Finance Programming Language Technical Computing

Summary

The top open-source alternatives to Isabelle are Agda, Coq, 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
Coq Landing Page
2

Coq

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Pricing:
- Open Source
#Programming Language #OOP #Technical Computing 46 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
Idris Landing Page
4

Idris

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

Haskell

An advanced purely-functional programming language
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 21 social mentions
Python Landing Page
6

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
Rust Landing Page
7

Rust

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

Haxe

Haxe is an open source toolkit based on a modern, high level, strictly typed programming language.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 45 social mentions
OCaml Landing Page
9

OCaml

(* Binary tree with leaves carrying an integer.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 30 social mentions
Scala Lang Landing Page
10

Scala Lang

Scala is a pure-bred object-oriented language that runs on the JVM
Pricing:
- Open Source
#Programming Language #JVM Programming Language #OOP 5 social mentions
Elixir Landing Page
11

Elixir

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

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