This is a list of open source computer languages.
This list exists because I don't want to clog my list of starred projects with every language that I find interesting.
Pull requests welcome.
| Repository | Description |
|---|---|
| dhall-lang | Maintainable configuration files |
| virgo | Graph-based Declarative Configuration Language |
| Repository | Description |
|---|---|
| d2 | D2 is a modern diagram scripting language that turns text to diagrams. |
| penrose | Create beautiful diagrams just by typing notation in plain text. |
| Repository | Description |
|---|---|
| cue | The new home of the CUE language! Validate and define text-based and dynamic configuration |
| dte | date and time processing language |
| Repository | Description |
|---|---|
| Amber | Amber the programming language compiled to bash |
| BQN | An APL-like programming language. Self-hosted! |
| Halide | a language for fast, portable data-parallel computation |
| Idris2 | A purely functional programming language with first class types |
| Kind | A modern proof language |
| LO | LO - small programming language targeting WASM that aims to be as simple as possible |
| Nim | Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority). |
| Odin | Odin Programming Language |
| P | The P programming language. |
| Senegal | Senegal programming language |
| Throbol | |
| Vale | Compiler for the Vale programming language - http://vale.dev/ |
| Vinegar | A semi-concatenative language where every operation can fail https://catseye.tc/node/Vinegar |
| Yaksha | Yaksha Programming Language (WIP) |
| abs | Home of the ABS programming language: the joy of shell scripting. |
| ante | A safe, easy systems language |
| arturo | Simple, expressive & portable programming language for efficient scripting |
| austral | Systems language with linear types and capability-based security. |
| bagel | A programming language designed for JavaScript programmers to write reactive UIs, using a paradigm where stateful procedures and pure functions are mutually exclusive categories. |
| ballerina-lang | The Ballerina Programming Language |
| c3c | Compiler for the C3 language |
| carbon-lang | Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README) |
| chapel | a Productive Parallel Programming Language |
| ciao | Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular. |
| cognate | A human readable quasi-concatenative programming language |
| crow | Crow programming language |
| crumb | The Crumb Programming Language |
| dafny | Dafny is a verification-aware programming language |
| dark | Client, backend, and services for Dark: https://darklang.com |
| datafun | Research on integrating datalog & lambda calculus via monotonicity types |
| dex-lang | Research language for array processing in the Haskell/ML family |
| duckscript | Simple, extendable and embeddable scripting language. |
| eyg | Experiments in building "better" languages and tools; for some measure of better. |
| flix | The Flix Programming Language |
| gleam | A friendly language for building type-safe, scalable systems! |
| grace | A ready-to-fork interpreted functional language with type inference |
| grain | The Grain compiler toolchain and CLI. Home of the modern web staple. |
| haxe | Haxe - The Cross-Platform Toolkit |
| impala | An imperative and functional programming language |
| inform | The core software distribution for the Inform 7 programming language. |
| inko | A language for building concurrent software with confidence |
| io | Io programming language. Inspired by Self, Smalltalk and LISP. |
| jakt | The Jakt Programming Language |
| janet | A dynamic language and bytecode vm |
| kitten | A statically typed concatenative systems programming language. |
| koka | Koka language compiler and interpreter |
| lean4 | Lean 4 programming language and theorem prover |
| lobster | The Lobster Programming Language |
| mercury | The Mercury logic programming system. |
| mojo | The Mojo Programming Language |
| mun | Source code for the Mun language and runtime. |
| neat | The Neat Language compiler. Early beta? |
| noulith | slaps roof of [programming language] this bad boy can fit so much [syntax sugar] into it |
| oak | An expressive, simple, dynamic programming language. |
| onyx | A modern language for WebAssembly. |
| opalang | The Opa Language for Web Application Development |
| pen | The programming language for scalable development |
| ponyc | Pony is an open-source, actor-model, capabilities-secure, high performance programming language |
| pure-lang | Pure programming language |
| purescript | A strongly-typed language that compiles to JavaScript |
| pyret-lang | The Pyret language. |
| reason | Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems |
| red | Red is a next-generation programming language 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, while providing modern support for concurrency, all in a zero-install, zero-config, single 1MB file! |
| roc | Roc is a language for making delightful software. |
| rye | homoiconic dynamic programming language with some new ideas |
| scopes | The Scopes Programming Language & Compiler Infrastructure |
| scrapscript | A functional, content-addressable programming language. |
| shardscript | A language for cloud functions |
| skip | A programming language to skip the things you have already computed |
| tao | A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc. |
| uiua | A stack-based array programming language |
| unison | A friendly programming language from the future |
| urweb | The Ur/Web programming language |
| v | Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. https://vlang.io |
| val | The val compiler |
| vapour | Typed superset of R |
| wasp | A programming language that understands what a web app is. |
| wenyan | 文言文編程語言 A programming language for the ancient Chinese. |
| wren | The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language. |
| xs | concatenative array language inspired by kdb/+q |
| zig | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software. |
| Repository | Description |
|---|---|
| htmlq | Like jq, but for HTML. |
| logica | Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite. |
| malloy | Malloy is an experimental language for describing data relationships and transformations. |
| prql | PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement |
| Repository | Description |
|---|---|
| elvish | Elvish = Expressive Programming Language + Versatile Interactive Shell |
| ngs | Next Generation Shell (NGS) |
| nushell | A new type of shell |
| oil | Oil is a new Unix shell. It's our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell! |
| Repository | Description |
|---|---|
| pantagruel | A program specification language with a formal syntax and ad-hoc semantics. |
| quint | Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions |
| smithy | Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language. |
| taxilang | Taxi is a language for describing APIs, data models, and how everything relates |