Imba is a programming language for building web applications with insane performance. You can use it both for the server and client.




Imba is a programming language for building web applications with insane performance. You can use it both for the server and client.




The main goal of this website is to provide a simple to use tool that will enable users to easily discover how computer programs work under the hood.. User can write his own programs and see how the computer's memory changes during it's execution.

wxBasic is an Basic interpreter that is:
wxBasic can create stand-alone executables by binding together source code with the interpreter.
wxBasic is written primarily in C, with some C++ li.

Eve is a programming language and IDE that focuses on the human programmer rather than the machine. It uses a unique, document approach where programs look like documents with embedded code. Rather than comments, the programmer describes the code by way of structured text that...

NetLogo is an agent-based programming language and integrated modeling environment. NetLogo was designed, in the spirit of the Logo programming language, to be "low threshold and no ceiling." It teaches programming concepts using agents in the form of turtles, patches...
The X10 programming language is organized around four basic principles of asynchrony, locality, atomicity, and order that are developed on a type-safe, class-based, object-oriented foundation. This foundation is robust enough to support fine-grained concurrency, Cilk-style...
A trustworthy, industrial-strength interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics, computer science and more.



Io is a prototype-based programming language inspired by Smalltalk (all values are objects, all messages are dynamic), Self (prototype-based), NewtonScript (differential inheritance), Act1 (actors and futures for concurrency), LISP (code is a runtime inspectable/modifiable tree)...
Asymptote is a powerful descriptive vector graphics language that provides a natural coordinate-based framework for technical drawing. Labels and equations are typeset with LaTeX, for high-quality PostScript output.
The Factor programming language combines powerful language features with a full-featured library. The implementation is fully compiled for performance, while still supporting interactive development. Factor applications are portable between all common platforms.
"BeanShell is a small, free, embeddable Java source interpreter with object scripting language features, written in Java. BeanShell dynamically executes standard Java syntax and extends it with common scripting conveniences such as loose types, commands, and method closures...
KBasic is a powerful programming language, which is simply intuitive and easy to learn. It is a new programming language, a further BASIC dialect and is related to VB.NET™, Visual Basic®, Visual Basic for Application® and Java™.




Quorum is a general purpose tool that we call an "evidence-based" programming language. It started as an interpreted language originally designed to be easier to hear through screen readers for blind or visually impaired users.
Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs...
RapydScript is a pre-compiler for JavaScript, similar to CoffeeScript, but with cleaner, more readable syntax. The syntax is very similar to Python, but allows JavaScript as well. It's not another Python-in-a-browser clone, it's actually JavaScript with more Pythonic...


Objective-J is a programming language developed as part of the Cappuccino web development framework. Its syntax is nearly identical to the Objective-C syntax and it shares with JavaScript the same relationship that Objective-C has with...
Steel Bank Common Lisp (SBCL) is a high performance Common Lisp compiler. It is open source / free software, with a permissive license. In addition to the compiler and runtime system for ANSI Common Lisp, it provides an interactive environment including a debugger, a statistical...
Xtext is an open-source framework for developing programming languages and domain-specific languages (DSLs). Unlike standard parser generators, Xtext not only generates a parser, but also a class model for the Abstract Syntax Tree and a fully featured, customizable Eclipse-based...




TXR is a pragmatic, convenient data munging language oriented toward processing of text from files or streams, using multiple programming paradigms. It is influenced by concepts from text processing languages such as awk or perl, pattern matching concepts from logic/AI...

ooc was born out of the desire to write cross-platform applications with a concise, yet clear syntax, and to produce native binaries rather than relying on a downloadable runtime.