programming-languages
Programming language directory
A curated list of programming languages with their characteristics and features
Awesome Programming Languages
293 stars
15 watching
35 forks
last commit: about 2 years agoLinked from 1 awesome list
awesomeawesome-listcurated-listlearningprogramming-languages
Programming languages / Functional | |||
| Accelerate | 909 | almost 2 years ago | Embedded language for high-performance array computations |
| Agda | 2,532 | almost 2 years ago | Dependently typed functional language |
| Alice ML | 212 | almost 4 years ago | Functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming |
| Amulet | 328 | almost 5 years ago | ML-like functional programming language |
| Amulet | 328 | almost 5 years ago | Simple functional programming language in the ML tradition, with support for higher-rank parametric polymorphic types and row-polymorphic records, pattern matching with algebraic data types, and tail recursion elimination |
| Atto | 152 | about 7 years ago | Insanely simple self-hosted functional programming language |
| Beluga | 185 | about 2 years ago | Functional programming language designed for reasoning about formal systems |
| Bosatsu | 227 | almost 2 years ago | Python-ish pure and total functional programming language |
| Braid | 139 | over 7 years ago | Functional language with Reason-like syntax that compiles to Go |
| Bright ML | 80 | about 6 years ago | Statically-typed programming language based on "F-ing modules" |
| Calypso | 66 | over 2 years ago | Mostly imperative language with some functional influences that is focused on flexibility and simplicity |
| Clio | 938 | over 3 years ago | Functional, parallel, distributed programming language. ( ) |
| cur | 222 | over 3 years ago | Powerful meta-programming for powerful types |
| Derw | 378 | almost 3 years ago | Elm-inspired language that transpiles to TypeScript |
| Discus | 174 | over 7 years ago | Experimental dialect of Haskell which investigates static typing and program transformation in the presence of computational effects |
| Ditto | 62 | over 2 years ago | Functional, statically typed, and pure |
| Dynasty | 6 | almost 3 years ago | Interpreted, dynamically-typed, lazily evaluated, purely functional programming language |
| Eff | Functional language with handlers of not only exceptions, but also of other computational effects such as state or I/O | ||
| Effekt | 336 | almost 2 years ago | Research language with effect handlers and lightweight effect polymorphism. ( ) |
| Enki | 8 | over 6 years ago | Intended to be a logic language for teaching programming to people with no programming experience |
| Eta | 2,612 | about 4 years ago | Dialect of Haskell on the JVM |
| Eve | 7,168 | over 8 years ago | Programming language based on years of research into building a human-first programming platform |
| Expresso | 302 | over 3 years ago | Simple expressions language with polymorphic extensible row types. ( ) |
| F* | General-purpose functional programming language with effects aimed at program verification | ||
| F# | 3,948 | almost 2 years ago | Open-source, cross-platform functional programming language for .NET |
| Facet | 81 | over 4 years ago | Call-by-value functional language with algebraic effects, quantitative type theory, and staging |
| Fika | 226 | over 5 years ago | Statically typed functional programming language for the web |
| Flix | 2,191 | almost 2 years ago | Statically typed functional- and logic programming language inspired by Scala, OCaml, F#, Haskell, and Datalog. ( ) |
| Functa | 9 | over 11 years ago | Flexible, fully functional dynamic programming language |
| Futhark | 2,428 | almost 2 years ago | Purely functional data-parallel programming language. Its optimising compiler is able to compile it to typically very performant GPU code |
| Gluon | 3,230 | almost 2 years ago | Static, type inferred and embeddable language written in Rust |
| Grace | 389 | almost 3 years ago | Ready-to-fork interpreted, typed, and functional language |
| Granule | 593 | almost 2 years ago | Statically typed functional language with graded modal types for fine-grained program reasoning via types |
| Haskell | Advanced, purely functional programming language | ||
| Hemlock | 31 | almost 2 years ago | Synthesizes the expressive type and module systems of ML-family languages, a unified parametric effects/mutability/type system, and the shared-nothing message-passing parallelism of Erlang |
| Ink | 564 | about 5 years ago | Minimal programming language inspired by modern JavaScript and Go, with functional style. ( ) |
| Keli | 172 | over 7 years ago | ( ) ( ) |
| Ko | 306 | about 3 years ago | Generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations |
| Koka | 3,333 | almost 2 years ago | Function-oriented language with effect inference |
| Labrys | 103 | about 3 years ago | Toy language based on LLVM that implements the System Fω type-system |
| lambda-ski | 28 | almost 3 years ago | Small functional language with a combinator based graph-reduction machine |
| Lasca | LLVM-based statically or dynamically typed strict functional programming language. Simplified OCaml if you will | ||
| Lawvere | 268 | over 3 years ago | Categorical programming language with effects |
| Leo | 4,792 | almost 2 years ago | Functional, statically-typed programming language built for writing private applications |
| LinearML | 432 | over 9 years ago | Functional language for parallel programming |
| lviv | 53 | over 8 years ago | Stack-based RPN functional programming language. Written in Scheme |
| Mlatu | 158 | almost 2 years ago | Statically typed, stack-based purely functional programming language designed for simplicity, speed, and safety |
| morloc | 195 | almost 2 years ago | Typed, polyglot, functional language |
| Nazo ML | 59 | about 6 years ago | Experimental implementation of temporal-logic-based Hindley-Milner type system |
| Neut | 841 | almost 2 years ago | Dependently-typed programming language based on the Calculus of Constructions. ( ) |
| Never | 436 | over 2 years ago | Statically typed, embedded functional programming language |
| OCaml | Industrial strength language supporting functional, imperative and object-oriented styles | ||
| Pikelet | 610 | over 5 years ago | Small, functional, dependently typed programming language |
| Salt | 62 | about 6 years ago | Compilation target that functional programmers always wanted |
| Silt | 240 | about 7 years ago | An in-progress fast, dependently typed, functional programming language implemented in Swift |
| Sixten | 759 | about 6 years ago | Experimental functional language where all data is unboxed by default. Functional programming with fewer indirections |
| Spiral | 925 | almost 2 years ago | Functional language with intensional polymorphism and first-class staging |
| TAMGU | 200 | almost 2 years ago | FIL programming language: Functional, Imperative, Logical all in one for annotation and data augmentation |
| Tao | 1,098 | about 3 years ago | Statically-typed functional programming language |
| TiML | Functional Language for Practical Complexity Analysis with Invariants | ||
| TopShell | 481 | about 5 years ago | Purely functional, reactive scripting language |
| Tyrade | 323 | almost 4 years ago | Pure functional language for type-level programming in Rust |
| Unison | 5,839 | almost 2 years ago | Modern, statically-typed purely functional language, similar to Haskell, but with a unique ability to describe entire distributed systems with a single program |
| Unlambda | Minimal, "nearly pure" functional programming language invented by David Madore. Based on combinatory logic. ( ) | ||
| Ur/Web | 806 | over 2 years ago | Implementation of a domain-specific functional programming language for web applications |
| Verve | 345 | almost 5 years ago | Functional language for the working hacker |
| Yeti | 246 | over 2 years ago | ML-like functional language for the JVM. ( ) |
| Zilch | 25 | over 3 years ago | Statically-typed, low-level, functional programming language with some focus on runtime performance |
Programming languages / Lisp | |||
| Carp | 5,565 | almost 2 years ago | Statically typed lisp, without a GC, for real-time applications. ( ) |
| Clojure | 1,587 | over 6 years ago | Dynamic, general-purpose, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming |
| Common Lisp | Modern, multi-paradigm, high-performance, compiled, ANSI-standardized, most prominent (along with Scheme) descendant of the long-running family of Lisp programming languages | ||
| Emacs Lisp | dialect of the Lisp programming language used as a scripting language by Emacs with some later influence from Common Lisp. Created by GNU it supports imperative and functional programming methods | ||
| femtolisp | 1,587 | over 6 years ago | Lightweight, robust, scheme-like lisp implementation |
| Fennel | 2,490 | almost 2 years ago | Lua Lisp Language |
| Hime | 9 | about 4 years ago | A general programming language running on the JVM platform |
| Janet | 3,598 | almost 2 years ago | Functional and imperative programming language and bytecode interpreter |
| Ketos | 751 | over 5 years ago | Lisp dialect scripting and extension language for Rust programs. ( ) |
| Liz | 268 | almost 5 years ago | Lisp-flavored general-purpose programming language (based on Zig) |
| llrl | 156 | over 3 years ago | Lisp-like programming language powered by Rust + LLVM |
| Lux | 1,686 | almost 2 years ago | Functional, statically-typed Lisp that will run on several platforms, such as the Java Virtual Machine and JavaScript interpreters |
| PicoLisp | Simple and lightweight and encourages clean, concise code | ||
| Ren | 101 | over 3 years ago | Cleaner, clearer JavaScript. Modern scripting language for the Web |
| Urn | Lisp implementation for Lua. ( ) ( ) | ||
Programming languages / Object-Oriented | |||
| Inko | 915 | almost 2 years ago | Statically-typed, safe, object-oriented programming languages for writing concurrent programs |
| Pharo | 1,222 | almost 2 years ago | A pure object-oriented programming language and a powerful environment derived from Squeak Smalltalk |
| Smalltalk-72 | A pure message-oriented programming language and its environment implemented in '72 to test Alan Kay's idea of "programming by messaging" | ||
Programming languages / Explicit logical parallelism | |||
| Ceu | 219 | about 3 years ago | Reactive language that aims to offer a higher-level and safer alternative to C. ( ) |
| Estérel | Synchronous reactive language that allows simple expression of parallelism and preemption and is based on logical instants and zero time hypothesis. ( ) | ||
| FuncSug | 6 | almost 2 years ago | Language for GUI programming that allows program codes to follow the same order as the scenario |
| Pendulum | 53 | about 8 years ago | Synchronous reactive language (OCaml extension) to program reactive systems on the Web |
| Reactive ML | 20 | almost 4 years ago | Synchronous reactive language that combines the temporal expressiveness of synchronous languages with the power of functional programming.( ) |
| SugarCubes | 6 | almost 2 years ago | Synchronous (à la Boussinot) reactive language that allows to write reactive parallel/concurrent programs on top of sequential JavaScript |
Programming languages / Multi paradigm | |||
| Ada | General-purpose, strongly typed, performant, readable and safe language | ||
| Ante | Low-level functional language for exploring refinement types, lifetime inference, and other fun features. ( ) ( ) ( ) | ||
| C | General-purpose, imperative, supporting structured programming, lexical variable scope and recursion, while a static type system prevents many unintended operations | ||
| Chaos | 280 | about 4 years ago | Strongly typed, dynamic yet compilable, test-oriented procedural programming language that achieves zero cyclomatic complexity. ( ) |
| D | General-purpose programming language with static typing, systems-level access, and C-like syntax | ||
| Go | 124,564 | almost 2 years ago | Compiled, statically typed in the tradition of Algol and C, with garbage collection, limited structural typing, memory safety features and CSP-style concurrent programming features added |
| Haxe | 6,219 | almost 2 years ago | High-level and strictly-typed, cross-compiles to many different targets |
| JavaScript | High-level, dynamic, weakly typed, prototype-based, multi-paradigm, and interpreted | ||
| Julia | 45,995 | almost 2 years ago | High-level, high-performance dynamic language for technical computing |
| Nim | 16,662 | almost 2 years ago | Both high-level and systems-level language, with productivity of Python, performance of C and meta-programming of Lisp |
| Objective C | General-purpose and object-oriented, adds Smalltalk-style messaging to the C programming language | ||
| Python | 64,132 | almost 2 years ago | Interpreted high-level language for general-purpose programming |
| Ring | 1,282 | almost 2 years ago | Innovative and practical general-purpose multi-paradigm language |
| Swift | 67,735 | almost 2 years ago | General-purpose, multi-paradigm, compiled programming language |
| TypeScript | 101,442 | almost 2 years ago | Strict syntactical superset of JavaScript that adds optional static typing to the language |
Programming languages / Funny | |||
| ArnoldC | 6,742 | over 2 years ago | Programming language based on the one-liners of Arnold Schwarzenegger |
| C-plus-Equality | 973 | over 5 years ago | Feminist programming language |
| dogescript | 1,342 | about 3 years ago | Wow so syntax very doge much future |
Programming languages / Other | |||
| ABS | 520 | over 3 years ago | Programming language that works best when you're scripting on your terminal |
| Acton | 152 | almost 2 years ago | Compiled language, offering the speed of C but with a considerably simpler programming model |
| Alan | 308 | almost 2 years ago | Programming language that does concurrency for you and can thus separate how the software is written from how it runs |
| Antimony | 141 | almost 2 years ago | Language that gets out of your way. ( ) |
| Arturo | 728 | almost 2 years ago | Simple, modern and powerful interpreted programming language for efficient scripting. ( ) |
| Astro | 758 | about 3 years ago | Fun safe language for rapid prototyping and high performance applications |
| Austral | 1,129 | over 2 years ago | Systems language with linear types |
| Bagel | 85 | almost 4 years ago | Statically typed, reactive language with pure and impure functions. ( ) |
| Ballerina | 3,683 | almost 2 years ago | Open-source programming language for the cloud that makes it easier to use, combine, and create network services. ( ) |
| Basil | 122 | almost 5 years ago | Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code |
| Beef | 2,516 | almost 2 years ago | Open source performance-oriented compiled programming language which has been built hand-in-hand with its IDE environment |
| BIPLAN | 68 | about 2 years ago | Byte coded Interpreted Programming language |
| BlazeX | 47 | over 2 years ago | AOT compiled object oriented programming language |
| Bog | 549 | almost 2 years ago | Small, strongly typed, embeddable language. Written in Zig |
| Bolt | 581 | almost 3 years ago | Research language with finer-grained concurrency than Rust. ( ) |
| Boson | 122 | about 2 years ago | Hybrid programming language written in Rust |
| Bosque | 5,248 | almost 4 years ago | Experiment in regularized design for a machine assisted rapid and reliable software development lifecycle. ( ) |
| Butter | Aims to be a concise and friendly language for building efficient software | ||
| buzz | 1,243 | almost 2 years ago | Small/lightweight typed scripting language written in Zig |
| Cairo | 1,350 | almost 2 years ago | Programming language for writing provable programs. ( ) |
| Caledon | 170 | about 8 years ago | Dependently typed, polymorphic, higher order logic programming language |
| Cane | 89 | over 2 years ago | A small vector language designed for making beats with realtime MIDI |
| Cant | 58 | over 2 years ago | Programming language descended mainly from E and Scheme |
| Charity | Categorical programming language. ( ) | ||
| Ć | 1,768 | almost 2 years ago | Language which can be translated automatically to C, C++, C#, Java, JavaScript, Python, Swift, TypeScript and OpenCL C. ( ) |
| Ciao | 278 | almost 2 years ago | Programming language that builds up from a logic-based simple kernel, and is designed to be extensible and modular |
| Clay | 402 | over 5 years ago | Programming language designed for Generic Programming |
| CLU | Programming language created at MIT | ||
| Cognate | 247 | almost 2 years ago | Quasi-concatenative stack language that uses embedded comments to read like English prose |
| Compose | 18 | over 7 years ago | Experimental programming language. It aims to be teachable, scalable, modern, powerful & precise |
| Concurnas | Open source JVM programming language designed for building reliable, scalable, high performance concurrent, distributed and parallel systems. ( ) | ||
| Cone | 529 | almost 4 years ago | Fast, fit, friendly, and safe systems programming language. ( ) |
| Copper | Experimental programming language that can be used as a replacement to C and C++ | ||
| Cotowali | 614 | about 3 years ago | Statically typed scripting language that transpile into POSIX sh |
| Crunch | 52 | over 5 years ago | Strongly & statically typed systems level language focused on ease of use, portability and speed |
| CUP | 295 | about 4 years ago | Simple, C-like programming language |
| DaCE | 502 | almost 2 years ago | Data-Centric Parallel Programming |
| daScript | High-performance statically strong typed scripting language. ( ) | ||
| Dictu | 268 | almost 2 years ago | High-level dynamically typed, multi-paradigm, interpreted programming language. ( ) |
| Dip | Dynamically typed interpreted programming language written in Python, which gives emphasis to readability and ease of use, while also providing the power of all of python’s libraries. ( ) | ||
| Disco | 165 | almost 2 years ago | Functional teaching language for use in a discrete mathematics course |
| Ditto | 173 | about 8 years ago | Super Kawaii Dependently Typed Programming Language |
| Dora | 500 | almost 2 years ago | JIT-compiler for the programming language Dora implemented in Rust |
| Egison | Programming language that features extensible efficient non-linear pattern matching with backtracking for non-free data types. ( ) | ||
| Ein | 34 | almost 2 years ago | Functional programming language for scalable development |
| Ella | Computer programming language interpreter written in Rust | ||
| Elsa | 2,799 | almost 4 years ago | Minimal, fast and secure QuickJS wrapper written in Go. ( ) |
| Emojicode | Open-source, full-blown programming language consisting of emojis. ( ) | ||
| Enso | 439 | over 4 years ago | Visual and textual functional programming language |
| EO | 1,056 | almost 2 years ago | Experimental Object-Oriented Programming Language Based on 𝜑-Calculus. ( ) |
| FaCT | 198 | over 4 years ago | Flexible and Constant Time Programming Language |
| Factor | Practical stack language. ( ) | ||
| fe | 1,330 | about 2 years ago | Tiny, embeddable language implemented in ANSI C. ( ) |
| Felix | 807 | about 2 years ago | Advanced, statically typed, high performance scripting language with native C++ embedding |
| F-- | 18 | over 2 years ago | Uncurried minimal functional programming language |
| Flax | 146 | over 5 years ago | Level, general-purpose language with high level syntax and expressibility |
| Foolang | 37 | over 2 years ago | Smalltalk-inspired language. ( ) |
| Fractran | Turing-complete esoteric programming language invented by the mathematician John Conway. ( ) ( ) | ||
| Ghost | 64 | almost 3 years ago | Small, class-based scripting language. ( ) |
| GLICOL | 2,306 | about 2 years ago | Graph-oriented live coding language written in Rust. Make music with code. ( ) |
| Gosu | Pragmatic language for the JVM. ( ) | ||
| Gravity | Embeddable programming language. ( ) ( ) | ||
| Gwion | 542 | almost 2 years ago | Strongly-timed language aimed at music creation. Heavily inspired by ChucK |
| Hamler | Haskell-style functional programming language running on Erlang VM. ( ) ( ) | ||
| Hare | Systems programming language designed to be simple, stable, and robust. ( ) | ||
| Hascal | 75 | about 2 years ago | General purpose and open source programming language designed to build optimal, maintainable, reliable and efficient software |
| Hazure | 42 | about 3 years ago | ML-Inspired programming language that transpiles to Typescript |
| Hedy | 1,342 | almost 2 years ago | Gradual programming language, which increases in syntactic elements level by level. ( ) |
| Hexagony | Two-dimensional stack-based programming language. ( ) | ||
| Hook | 108 | over 2 years ago | Cross-platform scripting language with a C-like syntax, dynamic typing, mutable value semantics approach, and memory management through reference counting |
| Horse64 | 7 | almost 2 years ago | Simple & versatile high-level programming language. ( ) |
| Hugorm | 30 | over 6 years ago | Mission-critical scripting language |
| Husky | 86 | almost 2 years ago | Programming language designed for many difficult tasks which haven't yet been seen as programmable at all |
| _hyperscript | 3,185 | almost 2 years ago | Small scripting language for the web |
| Icon | Programming language with a focus on string manipulation. ( ) | ||
| Inko | Statically-typed, safe, object-oriented programming language for writing concurrent programs | ||
| IntercalScript | 135 | about 6 years ago | Systems programming language for the web that combines a simple and consistent syntax with a static type system that completely eliminates runtime type errors |
| io | 2,673 | almost 3 years ago | Programming language. Inspired by Self, Smalltalk and LISP. ( ) |
| Jai | 1,816 | over 5 years ago | High-level programming language developed by Jonathan Blow |
| jakt | 33 | almost 3 years ago | Memory-safe systems programming language. Currently transpiles to C++ |
| Kara | 13 | about 4 years ago | Statically typed, LLVM-based programming language. It's designed to be fast and easy to use |
| Kara | Experimental programming language inspired by Swift and Idris | ||
| Kempe | 58 | almost 2 years ago | Compiled stack-based language |
| Kernel | Conservative, Scheme-like dialect of Lisp in which everything is a first-class object | ||
| Kinx | 237 | almost 4 years ago | Looks like JavaScript, feels like Ruby, and it is the script language fitting in C programmers |
| Kitten | Statically typed, stack-based functional programming language designed to be simple and fast. ( ) | ||
| Koto | 532 | almost 2 years ago | Embeddable scripting language, written in Rust |
| Kuljet | Language for writing database-backed HTML applications. ( ) | ||
| L2 | 135 | almost 6 years ago | Minimalist type-inferred programming language with procedural macro support |
| Lama | 71 | almost 2 years ago | Programming language developed by JetBrains Research for educational purposes as an exemplary language to introduce the domain of programming languages, compilers and tools |
| Lia | 337 | about 7 years ago | High-Level Language for Rust |
| liblg | 181 | about 6 years ago | Minimal stack-based VM. ( ) |
| Lobster | General purpose stand-alone programming language that comes with a built-in library suitable for making games and other graphical things | ||
| LoLa | 194 | about 2 years ago | Small programming language meant to be embedded into games. ( ) |
| Lore | 18 | over 3 years ago | General-purpose programming language featuring multi-functions, structs and traits, structural typing enabling component-based programming, and intersection and semantic types |
| Luau | Fast, small, safe, gradually typed embeddable scripting language derived from Lua. ( ) ( ) | ||
| Luf | 39 | over 5 years ago | Statically typed, embeddable, scripting language written in Zig |
| Luna | Data processing and visualization environment | ||
| Lush | Object-oriented programming language designed for researchers, experimenters, and engineers interested in large-scale numerical and graphic applications | ||
| Luster | 1,728 | almost 2 years ago | Experimental Lua VM implemented in pure Rust |
| Luxury | Statically programming language which is targeting embedded programming | ||
| Lys | 419 | about 2 years ago | Language that compiles to WebAssembly |
| Makam | 195 | over 3 years ago | Tool for rapid language prototyping |
| Makeshift | 11 | over 4 years ago | Programming language that was designed to bootstrap the Ashet Home Computer |
| Manticore | 71 | over 6 years ago | High-level parallel programming language aimed at general-purpose applications running on multi-core processors. ( ) |
| Mare | 156 | almost 2 years ago | Reimagining of the Pony language in Crystal |
| Mech | 210 | almost 2 years ago | Language for developing data-driven, reactive systems like animations, games, and robots. ( ) |
| Metamine | Completely declarative programming language | ||
| micro-mitten | 538 | over 6 years ago | Bare-bones Rust-like programming language, stripped down to simplify control-flow structures and the type system. ( ) |
| min | 316 | almost 2 years ago | Tiny concatenative programming language and shell |
| MiniAgda | 104 | almost 4 years ago | Prototypical dependently typed languages with sized types and variances |
| Mint | Refreshing programming language for the front-end web. ( ) ( ) | ||
| Monkey in Go | 45 | almost 2 years ago | |
| Monkey in Rust | 6 | over 6 years ago | |
| Monkey in TypeScript | 6 | over 6 years ago | |
| Mu | 1,387 | almost 2 years ago | Minimal-dependency hobbyist computing stack |
| Mun | 1,902 | almost 2 years ago | Programming language empowering creation through iteration |
| Muon | 773 | over 2 years ago | Modern low-level programming language |
| Myst | 119 | over 3 years ago | Structured, dynamic, general-purpose language |
| Nelua | 2,094 | almost 2 years ago | Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code. ( ) |
| Neon | High-level, statically typed, garbage collected, imperative programming language intended for teaching and learning the craft of programming. ( ) | ||
| Neptune | 44 | over 4 years ago | Fast, concurrent and embeddable scripting language |
| Nixt | 16 | over 5 years ago | Interpreted lisp inspired programming language written in Rust |
| nullc | 164 | almost 4 years ago | Fast C-like programming language with advanced features. ( ) |
| Oak | 733 | over 3 years ago | Portable programming language with an compact intermediate representation |
| Oak | Expressive, simple, dynamic programming language. ( ) | ||
| Odin | 7,137 | almost 2 years ago | Fast, concise, readable, pragmatic and open sourced. It is designed with the intent of replacing C |
| Ogol | 7 | over 5 years ago | Variant of the Logo computer language |
| Oxide | 131 | over 4 years ago | Interpreted scripting language with a Rust influenced syntax |
| Paka | 159 | over 3 years ago | |
| Passerine | 1,054 | about 2 years ago | Small, concise, extensible functional scripting language, powered by a VM written in Rust. ( ) ( ) |
| Pen | Programming language for scalable development. ( ) ( ) | ||
| Peregrine | 1,459 | over 2 years ago | Easy to use systems programming language with Python-like syntax |
| Pocketlang | 1,520 | about 2 years ago | Small, fast and friendly language for scripting and embedding. ( ) ( ) |
| Pointless | 122 | almost 6 years ago | Scripting language for learning and fun. ( ) |
| Pony | Open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language. ( ) | ||
| Power-Fx | 3,217 | almost 2 years ago | Low-code general purpose programming language. ( ) |
| PowerShell | 45,805 | almost 2 years ago | Cross-platform strongly dynamic typed object-based with functional features automation and configuration language |
| Pyret | Python like scripting language. ( ) | ||
| Pyxell | 55 | about 3 years ago | Multi-paradigm, statically typed programming language, compiled to machine code via C++. ( ) |
| q | 64 | almost 4 years ago | Programming language focusing on performance and efficiency |
| Radiance | 20 | over 5 years ago | Simple language that compiles to WASM |
| RaptorJIT | 843 | about 2 years ago | Dynamic language for system programming (LuaJIT fork) |
| Red | 5,558 | almost 2 years ago | Strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI. ( ) |
| Rhai | 3,898 | almost 2 years ago | Embedded scripting language for Rust |
| Rune | 1,782 | almost 2 years ago | Embeddable dynamic programming language for Rust. ( ) ( ) |
| Rust | Multi-paradigm, high-level, general-purpose programming language designed for performance and safety, especially safe concurrency | ||
| Scale | 17 | almost 2 years ago | Open Source stack-based concatenative programming language |
| Self | Prototype-based dynamic object-oriented programming language, environment, and virtual machine. ( ) | ||
| Shattuck | 72 | about 7 years ago | Rust-based script programming language |
| Shen/C | 70 | over 4 years ago | C port of the Shen programming language |
| Shen/Go | 56 | almost 4 years ago | Go port of the Shen language |
| Shiika | 224 | almost 2 years ago | Statically-typed programming language. Looks like Ruby, but has explicit type annotations |
| Silk | 79 | over 5 years ago | Small system programming language. Flexible and simple as C, but more pleasant to write. ( ) |
| Skew | 413 | over 2 years ago | Web-first, cross-platform programming language with an optimizing compiler. ( ) |
| Skip | 1,975 | about 3 years ago | Programming language to skip the things you have already computed |
| SmallDragon | 29 | almost 2 years ago | Simple, statically typed programming language that can be transpiled to C. ( ) |
| Smudge | 127 | almost 7 years ago | Domain-specific language for state machines |
| SourcePawn | 374 | almost 2 years ago | Small and fast typed language for embedding in host applications |
| Starlark in Rust | 731 | almost 2 years ago | Deterministic language inspired by Python3, used for configuration in the build systems Bazel and Buck |
| StarShip | 28 | over 6 years ago | Interpreted, strongly typed, and functional programming language written in Swift |
| Taichi | 25,630 | almost 2 years ago | Productive programming language for portable, high-performance, sparse & differentiable computing. ( ) |
| Tau | 59 | almost 2 years ago | Open source interpreted programming language designed to be minimal, fast and efficient |
| Tengo | 3,563 | over 2 years ago | Fast script language for Go |
| ThinScript | 1,363 | over 10 years ago | Low-level programming language inspired by TypeScript |
| tin | 63 | about 7 years ago | Statically structurally typed JIT-compiled programming language, mainly for embedding in other programs |
| Titan | 402 | over 7 years ago | New programming language, designed to be a statically-typed, ahead-of-time compiled sister language to Lua |
| Tokay | Imperative, procedural programming language dedicated to parsing and other text-processing tasks. ( ) | ||
| TypeLang | 296 | almost 6 years ago | Tiny language interpreter implemented purely in TypeScript's type-system |
| Umka | 1,083 | almost 2 years ago | Statically typed embeddable scripting language |
| Vale | Fast, safe, and easy programming language. It uses single ownership with constraint references for memory safety without garbage collection, and an emphasis on modern, readable syntax. ( ) ( ) ( ) | ||
| Val | 1,268 | almost 2 years ago | Open source, general-purpose programming language designed around on the concept of (mutable) value semantics |
| Verona | 3,583 | almost 2 years ago | Research programming language to explore the concept of concurrent ownership |
| V | Fast, safe, compiled language | ||
| Virgil | 1,245 | almost 2 years ago | Fast and lightweight native programming language designed for fast, dependency-free programs. ( ) |
| vizh | 232 | about 3 years ago | Esoteric visual language that takes image files as input based on a multi-tape turing machine, designed for compatibility with C |
| Volt | 157 | about 2 years ago | Systems level programming language written in D |
| Wasp | 14,262 | almost 2 years ago | Web Application Specification Language. Extensible DSL (domain-specific language) for building modern web apps with less code. ( ) ( ) |
| wax | 798 | over 2 years ago | Tiny language that transpiles to C, Java and TypeScript. ( ) |
| wenyan | Esoteric programming language that closely follows the grammar and tone of classical Chinese literature | ||
| Whiley | Programming Language with Extended Static Checking. ( ) | ||
| wlang | 46 | over 5 years ago | |
| Wren | 6,948 | about 3 years ago | Small, fast, class-based concurrent scripting language. ( ) ( ) |
| Wuffs | 4,227 | almost 2 years ago | Memory-safe programming language (and a standard library written in that language) for wrangling untrusted file formats safely |
| Wu | 473 | over 3 years ago | Practical game and data language. ( ) |
| XL | 272 | over 3 years ago | Extensible programming language designed to accomodate a variety of programming needs with ease |
| Yatta | 127 | about 4 years ago | Minimalistic, opiniated, (strongly) dynamically typed, strict, functional programming language, with ML-like syntax, for GraalVM |
| Yuescript | Dynamic language that compiles to Lua. ( ) | ||
| Zeta | Scripting language designed for efficiency, enabling dynamic extension and modification of high performance software | ||
| Zig | 35,396 | almost 2 years ago | Robust, optimal, and clear programming language |
Programming languages / Related | |||
| List of programming languages that are actively developed on GitHub | |||
microsoft/directxmath
mrward/typescript-addin
code-chunks/angular2-logger
pnnl/soda-opt
fulls1z3/angular-tslint-rules
redfroggy/ionic2-nfc-app
motss/lit-ntml
phaserjs/template-angular
bitloops/bitloops-language
typestrong/grunt-ts
martinmoene/string-view-lite