A low-level, general-purpuse, typesafe programming language
-
Updated
May 9, 2024 - C++
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output. Programming languages generally consist of instructions for computers. There are many programming languages in existence, and each has at least one implementation, each of which consists of its own set of programming tools. Some programming languages require computation to be specified in an imperative form (i.e., as a sequence of operations to perform) while other languages use the declarative form (i.e. the desired result is specified, not how to achieve it).
A low-level, general-purpuse, typesafe programming language
Venice, a Clojure inspired sandboxed Lisp dialect with Java interoperability serving as a safe scripting language.
Joy Along New Experience (jane) programming language source tree 🍵
Brainfuck interpreter on the browser, written in CoffeeScript
The fastest way to develop full-stack web apps with React & Node.js.
Text editor. Projectional programming environment.
a scripting JVM-based programming language compatible with Android
The Kotlin Programming Language.
Haxe - The Cross-Platform Toolkit
The Julia Programming Language
Solidity, the Smart Contract Programming Language
🎵 strongly-timed musical programming language
The Mojo Programming Language
A made-for-fun interpreted programming language written in Rust during the TulaHack 2024
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.