42
|
42, a language for paranoid programmers
|
2022-03-18
|
Sidef
|
Modern, high-level, general-purpose programming language, inspired by Ruby, Raku and Julia.
|
2021-09-05
|
Smalldragon
|
Small statically typed language that transpiles to C.
|
2021-03-15
|
Cylvre
|
A programming language for the JVM built for concise and productive programming
|
2021-02-20
|
Hades
|
A systems level programming language that compiles to LLVM
|
2021-02-18
|
Gwion
|
Gwion is a strongly timed programming language for making music.
|
2021-01-24
|
Orca
|
Esoteric Programming Language
|
2021-01-20
|
Grain
|
Grain is a new programming language that compiles to WebAssembly via Binaryen.
|
2021-01-04
|
Flix
|
Next-generation reliable, safe, concise, and functional-first programming language.
|
2020-12-30
|
Sono
|
High-level scripting language with capabilities built for Linguistics
|
2020-08-31
|
Horse64
|
Dynamically typed language with static scopes and other sanity fixes for common scripting pitfalls.
|
2020-06-04
|
Umka
|
A statically typed embeddable scripting language
|
2020-05-07
|
Hermes
|
A C-like scripting language.
|
2020-05-04
|
fbgc
|
Tiny lightweight multipurpose programming language written in C
|
2020-04-23
|
Feral
|
An interpreted, procedural, general purpose programming language which is fundamentally developed to write scripts in a very simple and efficient manne...
|
2020-04-07
|
Crush
|
A traditional command line shell that is also a modern programming language
|
2020-04-01
|
Arturo
|
Simple, modern and powerful interpreted programming language for super-fast scripting.
|
2020-03-22
|
Mint
|
The programming language for writing single page applications
|
2020-03-15
|
Odin
|
A fast, concise, readable, pragmatic and open sourced systems language.
|
2020-02-28
|
Cicada
|
A simple, interpreted language that can be extended with the user's own C/C++ code.
|
2020-02-27
|
Steganographic BF
|
A steganographic programming language interepreted from the length of git commit messages.
|
2020-02-13
|
Free
|
A programming language with an unusual compiler backend
|
2020-02-02
|
Seq
|
A language for bioinformatics
|
2020-01-22
|
Neeilang
|
A lightweight programming language that is performant, type-safe and effortless
|
2020-01-21
|
C3
|
C alternative, trying to stay very close to C while adding conveniences and safety.
|
2020-01-20
|
Jingle
|
Jingle is a new & simple programming language for modern-day coding that aims to provide speed without the braces.
|
2020-01-19
|
Vaquero
|
Lisp-like scripting language for cowboy coders.
|
2020-01-18
|
Dhall
|
A programmable configuration language.
|
2020-01-18
|
Đ (Edh)
|
The next-big-things ought to happen with Haskell not C/C++.
|
2020-01-18
|
Kima
|
A Programming Language with static types and algebraic effects.
|
2020-01-15
|
Dark
|
A language built for deployless backends
|
2020-01-15
|
Idris
|
A general purpose pure functional programming language with dependent types.
|
2020-01-13
|
Inko
|
Safe and concurrent object-oriented programming, without the headaches.
|
2020-01-12
|
Unison
|
Modern, statically-typed purely functional language.
|
2020-01-10
|
Rumi
|
A low level language that has functional properties and can be linked with C
|
2020-01-09
|
Juvix
|
A high-level frontend syntax, dependent-linearly-typed core language
|
2020-01-09
|
Beef
|
Open source performance-oriented compiled language.
|
2020-01-07
|
TopShell
|
A purely functional, reactive scripting language
|
2020-01-03
|
Formality
|
An efficient proof language
|
2020-01-03
|
Cowgol
|
A self-hosted Ada-inspired programming language for very small systems.
|
2020-01-03
|
Concurnas
|
Language for reliable, scalable, high performance concurrent, distributed and parallel systems.
|
2020-01-03
|
Cant
|
Lisp-like language descended mainly from E and Scheme.
|
2020-01-03
|
Antipurity
|
Primitive conceptual programming language.
|
2020-01-03
|
Beagle
|
Flexible type system and self documenting language.
|
2020-01-02
|
Varyx
|
General-purpose, high-level programming language.
|
2020-01-01
|
Hobbes
|
A language, embedded compiler, and runtime for efficient dynamic expression evaluation, data storage and analysis
|
2019-12-31
|
Frost
|
A high-level, general-purpose multiparadigm programming language.
|
2019-12-31
|
Tuplex
|
A statically compiled, imperative, strongly typed programming language
|
2019-12-27
|
Ravi
|
A derivative of Lua with limited optional static typing and features LLVM and Eclipse OMR powered JIT compilers
|
2019-12-27
|
Nickel
|
A toy language with JIT interpreter
|
2019-12-27
|
liquid
|
A scripting language.
|
2019-12-27
|
leekscript
|
A dynamically typed, compiled just-in-time programming language
|
2019-12-27
|
Killa
|
A programming language based in Lua and Javascript.
|
2019-12-27
|
Jet
|
A simple scripting language for C++
|
2019-12-27
|
floyd
|
General-purpose programming language with a unique take on programming and performanc
|
2019-12-27
|
Calc4
|
Language where everything in its code is an operator.
|
2019-12-27
|
Berry
|
Ultra-lightweight embedded scripting language optimized for microcontrollers.
|
2019-12-27
|
ArkScript
|
Small, fast, functional and scripting language for video games.
|
2019-12-27
|
Adept 2.0
|
Blazing fast low-level language.
|
2019-12-26
|
Wu
|
Expression oriented, gradually typed and mission-critical programming language.
|
2019-12-21
|
Toy Language
|
The Toy Programming Language
|
2019-12-21
|
Oxyl
|
Oxyl is a programming language designed as minimally as possible while also allowing extreme power in diverse, non-turing complete environments.
|
2019-12-21
|
Oweb
|
An imperative, statically but weakly typed systems programming language with manual memory management.
|
2019-12-21
|
Goose
|
Goose is a programming language in development that aims at being (yet another) c++ alternative.
|
2019-12-21
|
Beads
|
Single language to replace all layers of the development stack.
|
2019-12-21
|
ETAC
|
ETAC™ (pronounced: E-tack) is a general purpose dictionary and stack based interpreted script programming language fully capable of traditional high-le...
|
2019-11-09
|
Dragon
|
a dynamic programming language.
|
2019-09-21
|
Eta
|
Powerful language to build concurrent & distributed systems on the JVM.
|
2019-07-27
|
Kit
|
Programming language designed for creating concise, high performance cross-platform applications
|
2019-07-25
|
Gleam
|
Statically typed functional programming language for building scalable concurrent systems.
|
2019-07-25
|
ABS
|
Scripting language that works best when you're scripting on your terminal.
|
2019-07-12
|
GraRLS
|
Graphics Programing Language
|
2019-06-03
|
Lean
|
Open source theorem prover and programming language
|
2019-04-18
|
V
|
Simple, fast, safe language with an extremely fast compiler.
|
2019-04-07
|
Janet
|
Functional and imperative Lisp-like language and bytecode interpreter.
|
2019-03-11
|
Curv
|
Language for making art using mathematics that supports full color, animation and 3D printing.
|
2019-03-11
|
Cone
|
Fast, fit, friendly, and safe systems programming language.
|
2019-02-01
|
Adamant
|
High performance language with deterministic safe resource management, and guaranteed thread safety.
|
2019-02-01
|
Never
|
Strongly typed, call by value, pure functional programming language.
|
2018-08-04
|
Goat
|
High-level, dynamic, weakly typed, prototype-based, multi-paradigm, and interpreted language.
|
2018-08-04
|
Cuneiform
|
Open and general functional language for large-scale data analysis.
|
2018-05-31
|
eC
|
C-style object-oriented language for simple native cross-platform development.
|
2018-05-02
|
Myst
|
Language for clarity from the start, flexibility when you need it, and efficiency where it matters.
|
2018-04-24
|
Halunke
|
Dynamic OO language with ideas traditionally described as "functional".
|
2018-02-12
|
Spiral
|
Functional language with intentional polymorphism and first-class staging.
|
2018-02-10
|
Sink
|
Minimal language for embedding small scripts in larger programs.
|
2018-02-10
|
Plasma
|
Striking a balance between functional and imperative programming.
|
2018-02-10
|
Gluon
|
Type inferred, functional, concise, written and interopable with Rust, designed for embedding.
|
2018-01-24
|
Jinx
|
Embeddable scripting language with asynchronous and thread-safe operation by default.
|
2017-11-26
|
Min
|
Functional, concatenative language with a minimalist syntax and advanced REPL.
|
2017-08-01
|
Zig
|
Open-source language designed for robustness, optimality, and clarity.
|
2017-05-17
|
Gravity
|
Lightweight embeddable dynamic language with concurrency.
|
2017-03-07
|
uLisp
|
Very small Lisp interpreter for Arduino microcomputers
|
2016-09-12
|
Purescript
|
Haskell-like functional language compiling to Javascript.
|
2016-09-12
|
C2
|
C2 is an evolution of C; it keeps the good element, while changing the bad.
|
2016-08-16
|
Lily
|
Interpreted language with a focus on expressiveness and type safety.
|
2016-07-01
|
Spry
|
Smalltalk and Rebol inspired language implemented in Nim.
|
2016-06-26
|
Coconut
|
Coconut is a simple, elegant, Pythonic functional programming language that compiles to Python.
|
2016-06-22
|
L.B. Stanza
|
Optionally-typed, prototype-based, compiled, general-purpose language
|
2016-06-12
|
Ante
|
Multi-paradigm compiled systems language.
|
2016-05-12
|
Futhark
|
Data-parallel, functional array language designed to be compiled to highly performant GPU code.
|
2016-04-28
|
Little
|
Statically typed, C-like scripting language built on top of the Tcl/TK system.
|
2016-04-19
|
Javauto
|
Java based automation programming language.
|
2016-02-08
|
Ring
|
General-purpose multi-paradigm scripting language that can be embedded in C/C++ projects.
|
2016-02-07
|
Quorum
|
General purpose "evidence-based" language originally designed for blind progammers.
|
2016-02-07
|
Push
|
Designed for evolutionary computation to be used as the language for evolving programs.
|
2016-02-07
|
Pure
|
Modern-style functional programming language based on term rewriting.
|
2016-02-07
|
PseudoD
|
Interpreted language written in C++ with syntax completely in Spanish.
|
2016-02-07
|
PROSE
|
Language designed to simplify the development of small and large-scale networked applications.
|
2016-02-07
|
OwlSL
|
Scripting language with a very similar syntax to that of C++ and C#.
|
2016-02-07
|
Next Scripting
|
Highly flexible, Tcl-based, object-oriented scripting language.
|
2016-02-07
|
FAUST
|
Functional language specifically designed for real-time signal processing and synthesis.
|
2016-02-07
|
Evolve
|
Interpreted language designed to be easy to use so anyone can pick it up and write a program.
|
2016-02-07
|
Euphoria
|
Powerful but easy-to-learn language with simple syntax and structure with consistent rules.
|
2016-02-07
|
Ela
|
Simple, powerful modern functional language with state-of-art syntax.
|
2016-02-07
|
Albatross
|
Programming language with static verification, a proof assistant and a theorem prover.
|
2016-02-07
|
Aime
|
Simple, C like programming language and an application embeddable interpreter.
|
2016-02-07
|
Jolie
|
First language for natively programming microservices.
|
2016-01-26
|
Battlestar
|
Different take on assembly, with the goal of creating tiny executables.
|
2016-01-26
|
TXR
|
Combination of pattern-based text extraction language and an innovative Lisp dialect.
|
2016-01-25
|
Strato
|
Attempt at a programming language without any reserved words.
|
2016-01-25
|
Citrine
|
Combination of Smalltalk, Self and JavaScript with PHP-like tags.
|
2016-01-24
|
Imba
|
Server and client web programming language with DOM manipulation built in.
|
2016-01-17
|
Rix
|
Efficient language with power of C and the convenience of a high level language.
|
2015-12-28
|
007
|
Small experimental language with a license to macro.
|
2015-12-28
|
Blacklight
|
Multithreading concatenative stack-based language.
|
2015-11-09
|
Loci
|
Multi-paradigm systems programming language.
|
2015-10-30
|
LyteScript
|
Stack-based, multi-paradigm programming language with minimal syntax.
|
2015-09-09
|
Streem
|
Stream-based concurrent scripting language.
|
2015-08-28
|
Orange
|
Imperative, statically typed, C++-like systems development language.
|
2015-08-28
|
Lux
|
Functional, cross-platform, statically-typed Lisp.
|
2015-08-28
|
Earl Grey
|
Little language that compiles to JavaScript.
|
2015-08-28
|
Crema
|
Sub-Turing Complete language with focus on security.
|
2015-08-28
|
Pony
|
Object-oriented, actor-model, capabilities-secure, high performance programming language.
|
2015-05-03
|
Cali-Lang
|
Interpreted object oriented language based on Java.
|
2015-03-11
|
Hy
|
Dialect of Lisp that’s embedded in Python.
|
2015-02-16
|
Mond
|
An embedded scripting language for C#.
|
2015-02-05
|
ChaiScript
|
Easy to use embedded scripting language for C++.
|
2015-02-05
|
Avail
|
Multi-paradigmatic language whose feature set emphasizes support for articulate programming.
|
2015-01-12
|
Wren
|
Small, clean, fast, class-based scripting language for embedding.
|
2015-01-02
|
Dashrep
|
A text-manipulation programming language that saves coding time and debugging time
|
2014-07-23
|
Pyret
|
Functional scripting language designed for programming education.
|
2014-02-13
|
Picat
|
Logic-based multi-paradigm language intended for general-purpose applications.
|
2014-02-05
|
Gosu
|
A pragmatic language for the JVM.
|
2014-02-03
|
Rascal
|
Metaprogramming language for source code manipulation.
|
2014-01-22
|
P*
|
Web programming language with C-like syntax.
|
2014-01-22
|
Gura
|
Iterator-oriented programming language for data processing
|
2014-01-22
|
ELENA
|
General-purpose, pure object-oriented language with late binding.
|
2014-01-22
|
Egison
|
World's first language with non-linear pattern-matching against unfree data types.
|
2014-01-22
|
Céu
|
Concurrent and reactive language that offers a safer and higher-level alternative to C.
|
2014-01-22
|
Golo
|
Lightweight dynamic language for the JVM
|
2013-12-07
|
Crystal
|
Compiled language with Ruby syntax and type inference.
|
2013-09-06
|
Kitten
|
Statically typed, stack-based functional programming language with concatenative semantics.
|
2013-08-25
|
GorillaScript
|
Compile-to-JavaScript language with macros, classes, parallel loops, and more.
|
2013-07-07
|
Lobster
|
A language for making games.
|
2013-06-18
|
Terra
|
A statically-typed, high-performance low-level counterpart to Lua.
|
2013-06-07
|
Red
|
Compiled programming language strongly inspired by REBOL.
|
2013-06-07
|
Koka
|
A function-oriented language with effect inference.
|
2013-06-07
|
Shen
|
A portable functional programming language running on Lisp.
|
2013-06-05
|
Qore
|
Embeddable multi-threaded programming language.
|
2013-06-05
|
Frege
|
A non-strict, pure functional programming language like Haskell compiled to the JVM.
|
2013-04-03
|
Luna
|
A small, fast minimalistic language with cooperative thread concurrency.
|
2013-01-22
|
Myrddin
|
Simple, low level language with type checking and inference.
|
2013-01-21
|
Fuzuli
|
A new general purpose programming language based on Lisp and Algol.
|
2012-06-13
|
MoonScript
|
A programmer friendly language that compiles to Lua.
|
2011-08-12
|
Nim
|
A wide-spectrum language: partial type inference, "generics", GC, macros, indentation syntax.
|
2011-05-13
|
Whiley
|
Hybrid programming language with extended static checking.
|
2010-08-06
|
Yeti
|
ML style functional programming language that runs on the JVM.
|
2009-12-12
|
Zimbu
|
Static, object-oriented language by the author of vim.
|
2009-10-22
|
OOC
|
A programming language with objects, first-class functions, and pink unicorns.
|
2009-10-14
|