Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

programming-languages

Awesome Programming Languages
https://github.com/learn-anything/programming-languages

Last synced: 3 days ago
JSON representation

  • Functional

    • Amulet - 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.
    • Eff - Functional language with handlers of not only exceptions, but also of other computational effects such as state or I/O.
    • F\* - General-purpose functional programming language with effects aimed at program verification.
    • Haskell - Advanced, purely functional programming language.
    • OCaml - Industrial strength language supporting functional, imperative and object-oriented styles.
    • TiML - Functional Language for Practical Complexity Analysis with Invariants.
    • Silt - An in-progress fast, dependently typed, functional programming language implemented in Swift.
    • Lasca - LLVM-based statically or dynamically typed strict functional programming language. Simplified OCaml if you will.
    • Neut - Dependently-typed programming language based on the Calculus of Constructions. ([HN](https://news.ycombinator.com/item?id=23283880))
    • Unlambda - Minimal, "nearly pure" functional programming language invented by David Madore. Based on combinatory logic. ([Wiki](https://en.wikipedia.org/wiki/Unlambda))
    • Accelerate - Embedded language for high-performance array computations.
    • Agda - Dependently typed functional language.
    • Alice ML - Functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming.
    • Amulet - ML-like functional programming language.
    • Atto - Insanely simple self-hosted functional programming language.
    • Beluga - Functional programming language designed for reasoning about formal systems.
    • Bosatsu - Python-ish pure and total functional programming language.
    • Braid - Functional language with Reason-like syntax that compiles to Go.
    • Bright ML - Statically-typed programming language based on "F-ing modules".
    • Calypso - Mostly imperative language with some functional influences that is focused on flexibility and simplicity.
    • Clio - Functional, parallel, distributed programming language. ([Web](https://clio-lang.org/))
    • cur - Powerful meta-programming for powerful types.
    • Derw - Elm-inspired language that transpiles to TypeScript.
    • Discus - Experimental dialect of Haskell which investigates static typing and program transformation in the presence of computational effects.
    • Ditto - Functional, statically typed, and pure.
    • Dynasty - Interpreted, dynamically-typed, lazily evaluated, purely functional programming language.

  • Lisp

    • 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.
    • PicoLisp - Simple and lightweight and encourages clean, concise code.
    • Urn - Lisp implementation for Lua. ([Code](https://github.com/SquidDev/urn)) ([Lobsters](https://lobste.rs/s/qzubyo/urn_lisp_implementation_for_lua))
    • 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.

  • Object-Oriented

    • Smalltalk-72 - A pure message-oriented programming language and its environment implemented in '72 to test Alan Kay's idea of "programming by messaging".

  • Multi paradigm

    • Ada - General-purpose, strongly typed, performant, readable and safe language.
    • D - General-purpose programming language with static typing, systems-level access, and C-like syntax.
    • JavaScript - High-level, dynamic, weakly typed, prototype-based, multi-paradigm, and interpreted.
    • Objective C - General-purpose and object-oriented, adds Smalltalk-style messaging to the C programming language.
    • Ante - Low-level functional language for exploring refinement types, lifetime inference, and other fun features. ([Code](https://github.com/jfecher/ante)) ([HN](https://news.ycombinator.com/item?id=31775216)) ([Lobsters](https://lobste.rs/s/02tu4z/ante_low_level_functional_language))

  • Other

    • V - Fast, safe, compiled language.
    • Lobster - General purpose stand-alone programming language that comes with a built-in library suitable for making games and other graphical things.
    • Pony - Open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language. ([Code](https://github.com/ponylang/ponyc))
    • Factor - Practical stack language. ([Lobsters](https://lobste.rs/s/sv9jw7/factor_programming_language))
    • wenyan - Esoteric programming language that closely follows the grammar and tone of classical Chinese literature.
    • Jai - High-level programming language developed by Jonathan Blow.
    • Concurnas - Open source JVM programming language designed for building reliable, scalable, high performance concurrent, distributed and parallel systems. ([HN](https://news.ycombinator.com/item?id=23321096))
    • Hamler - Haskell-style functional programming language running on Erlang VM. ([Code](https://github.com/hamler-lang/hamler)) ([Article](https://www.emqx.io/news/open-source-functional-programming-language-hamler))
    • Rhai - Embedded scripting language for Rust.
    • Pyret - Python like scripting language. ([Code](https://github.com/brownplt/pyret-lang))
    • Gosu - Pragmatic language for the JVM. ([Code](https://github.com/gosu-lang/gosu-lang))
    • Self - Prototype-based dynamic object-oriented programming language, environment, and virtual machine. ([Code](https://github.com/russellallen/self))
    • 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. ([Code](https://github.com/ValeLang/Vale)) ([HN](https://news.ycombinator.com/item?id=23865674)) ([HN 2](https://news.ycombinator.com/item?id=25160202))
    • Lush - Object-oriented programming language designed for researchers, experimenters, and engineers interested in large-scale numerical and graphic applications.
    • Luna - Data processing and visualization environment.
    • Charity - Categorical programming language. ([Code](https://github.com/mietek/charity-lang))
    • Metamine - Completely declarative programming language.
    • Neon - High-level, statically typed, garbage collected, imperative programming language intended for teaching and learning the craft of programming. ([Code](https://github.com/ghewgill/neon-lang))
    • Icon - Programming language with a focus on string manipulation. ([Lobsters](https://lobste.rs/s/qendox/icon_programming_language))
    • Fractran - Turing-complete esoteric programming language invented by the mathematician John Conway. ([Notes](https://wiki.xxiivv.com/site/fractran.html)) ([Fractran Interpreter](https://merveilles.town/web/statuses/105357795783765822))
    • Zeta - Scripting language designed for efficiency, enabling dynamic extension and modification of high performance software.
    • Kuljet - Language for writing database-backed HTML applications. ([Code](https://github.com/KMahoney/kuljet))
    • Copper - Experimental programming language that can be used as a replacement to C and C++.
    • CLU - Programming language created at MIT.
    • Ella - Computer programming language interpreter written in Rust.
    • 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. ([Code](https://github.com/raghavnautiyal/Dip))
    • Mint - Refreshing programming language for the front-end web. ([Code](https://github.com/mint-lang/mint)) ([Lobsters](https://lobste.rs/s/78fixr/mint_refreshing_programming_language))
    • Whiley - Programming Language with Extended Static Checking. ([Code](https://github.com/Whiley/WhileyCompiler))
    • Egison - Programming language that features extensible efficient non-linear pattern matching with backtracking for non-free data types. ([Code](https://github.com/egison/egison))
    • Kitten - Statically typed, stack-based functional programming language designed to be simple and fast. ([Code](https://github.com/evincarofautumn/kitten/))
    • Hexagony - Two-dimensional stack-based programming language. ([Hexagony IDE](https://hexagony.net/))
    • Kernel - Conservative, Scheme-like dialect of Lisp in which everything is a first-class object.
    • Rust - Multi-paradigm, high-level, general-purpose programming language designed for performance and safety, especially safe concurrency.
    • Emojicode - Open-source, full-blown programming language consisting of emojis. ([Code](https://github.com/emojicode/emojicode))
    • Oak - Expressive, simple, dynamic programming language. ([Code](https://github.com/thesephist/oak))
    • Pen - Programming language for scalable development. ([Code](https://github.com/pen-lang/pen)) ([HN](https://news.ycombinator.com/item?id=28590209))
    • buzz - Small/lightweight typed scripting language written in Zig.
    • Kara - Experimental programming language inspired by Swift and Idris.
    • Yuescript - Dynamic language that compiles to Lua. ([Code](https://github.com/pigpigyyy/Yuescript))
    • Hare - Systems programming language designed to be simple, stable, and robust. ([Code](https://sr.ht/~sircmpwn/hare/))
    • Tokay - Imperative, procedural programming language dedicated to parsing and other text-processing tasks. ([Code](https://github.com/tokay-lang/tokay))
    • Mint - Refreshing programming language for the front-end web. ([Code](https://github.com/mint-lang/mint)) ([Lobsters](https://lobste.rs/s/78fixr/mint_refreshing_programming_language))
    • Luau - Fast, small, safe, gradually typed embeddable scripting language derived from Lua. ([FAQ](https://gist.github.com/zeux/bb646a63c02ff2828117092036d2d174)) ([HN](https://news.ycombinator.com/item?id=24059432))
    • Luxury - Statically programming language which is targeting embedded programming.

  • Explicit logical parallelism

    • Estérel - Synchronous reactive language that allows simple expression of parallelism and preemption and is based on logical instants and zero time hypothesis. ([Web](http://www-sop.inria.fr/meije/esterel/esterel-eng.html))
Programming Languages
Haskell 5 Rust 3 C++ 1 TypeScript 1 Racket 1 JavaScript 1 Standard ML 1 Go 1 Scala 1 OCaml 1
Categories
Other 44 Functional 26 Related 6 Multi paradigm 5 Lisp 4 Object-Oriented 1 Explicit logical parallelism 1
Sub Categories
Keywords
language 6 compiler 5 functional-programming 4 dependent-types 3 haskell 3 programming-language 3 functional 2 ocaml 2 rust 1 recursion 1 interpreter 1 ml 1 functional-language 1 type-theory 1 proof-assistant 1 agda 1 parallel-computing 1 llvm 1 gpu-computing 1 gpu 1 cuda 1 accelerate 1 scripting-language 1 lua 1 laziness 1 javascript 1 alt-js 1 ditto-lang 1 ditto 1 regions 1 experimental 1 effects 1 capabilities 1 parallelism 1 distributed-programming 1 clio 1 f-ing-modules 1 reasonml 1 go 1 functional-languages 1 lf 1 hoas 1 beluga 1 self-hosted 1 swift 1