Isabelle

Isabelle is a proof assistant for writing and checking mathematical proofs by computer.

21 Alternatives To Isabelle

Agda

Agda is a dependently typed functional programming language. It has inductive families, i.e.

C

One of the most widely used programming languages of all time

Ceylon

Ceylon is a language designed specifically for writing large programs in teams.

Coq

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal…

Elixir

Dynamic, functional language designed for building scalable and maintainable applications

Elm

A type inferred, functional reactive language that compiles to HTML, CSS, and JavaScript
images/2020/03/haskell.png}}

Haskell

An advanced purely-functional programming language

Idris

Programming, Programming Language, Learning Resources, Languages, and Frontend Development

Java

A concurrent, class-based, object-oriented, language specifically designed to have as few implementation dependencies as possible
images/2020/04/JavaScript.png}}

JavaScript

Lightweight, interpreted, object-oriented language with first-class functions
images/2020/03/lua.jpg}}

Lua

Powerful, fast, lightweight, embeddable scripting language
images/2020/03/matlab.png}}

MATLAB

A high-level language and interactive environment for numerical computation, visualization, and programming

NIM

GB64.COM is the home of The Gamebase Collection of C64 games.
images/2020/03/ocaml.png}}

OCaml

(* Binary tree with leaves carrying an integer.
images/2020/03/putty.png}}

PuTTY

Popular free terminal application. Mostly used as an SSH client.

Python

Python is a clear and powerful object-oriented programming language, comparable to Perl, Ruby, Scheme, or Java.
images/2020/04/Racket.png}}

Racket

Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable…

Ruby

A dynamic, interpreted, open source programming language with a focus on simplicity and productivity

Rust

A safe, concurrent, practical language. Rust is blazingly fast and memory-efficient: with no runtime or garbage collector, it can power performance-critical services, run on embedded devices, and easily integrate with other languages.

Scala Lang

Scala is a pure-bred object-oriented language that runs on the JVM

Scilab

Scilab Official Website. Enter your search in the box aboveAbout ScilabScilab is free and open source software for numerical . Thanks for downloading Scilab!