Coq
Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal…
20 Alternatives To Coq
Agda
Agda is a dependently typed functional programming language. It has inductive families, i.e.
C (programming language)
C is a general-purpose computer programming language.
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.
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
Haskell
An advanced purely-functional programming language
Idris
Programming, Programming Language, Learning Resources, Languages, and Frontend Development
Isabelle
Isabelle is a proof assistant for writing and checking mathematical proofs by computer.
Java
A concurrent, class-based, object-oriented, language specifically designed to have as few implementation dependencies as possible
JavaScript
Lightweight, interpreted, object-oriented language with first-class functions
Lua
Powerful, fast, lightweight, embeddable scripting language
NIM
GB64.COM is the home of The Gamebase Collection of C64 games.
OCaml
(* Binary tree with leaves carrying an integer.
PuTTY
Popular free terminal application. Mostly used as an SSH client.
PureScript
PureScript is a small strongly typed programming language that compiles to JavaScript.
Python
Python is a clear and powerful object-oriented programming language, comparable to Perl, Ruby, Scheme, or Java.
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!