Skulpt
Skulpt is an entirely in-browser implementation of Python.
Pyjs
pyjs is a Rich Internet Application (RIA) Development Platform for both Web and Desktop.
Isabelle
Isabelle is a proof assistant for writing and checking mathematical proofs by computer.
Coq
Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal…
Bracmat
Programming language for symbolic computation with extraordinary combination of pattern matching…
Brython
Brython’s goal is to replace Javascript with Python, as the scripting language for web browsers.
Agda
Agda is a dependently typed functional programming language. It has inductive families, i.e.
Common Lisp
The modern, multi-paradigm, high-performance, compiled, ANSI-standardized descendant of the long-running family of Lisp programming languages.
Visual Basic
Modern, high-level, multi-paradigm, general-purpose programming language for building apps using Visual Studio and the .NET Framework.
Pharo
Pharo is a pure object-oriented programming language and a powerful environment, focused on…