├── LICENSE └── README.md /LICENSE: -------------------------------------------------------------------------------- 1 | BSD 3-Clause License 2 | 3 | Copyright (c) 2021, Leandro Ostera 4 | All rights reserved. 5 | 6 | Redistribution and use in source and binary forms, with or without 7 | modification, are permitted provided that the following conditions are met: 8 | 9 | 1. Redistributions of source code must retain the above copyright notice, this 10 | list of conditions and the following disclaimer. 11 | 12 | 2. Redistributions in binary form must reproduce the above copyright notice, 13 | this list of conditions and the following disclaimer in the documentation 14 | and/or other materials provided with the distribution. 15 | 16 | 3. Neither the name of the copyright holder nor the names of its 17 | contributors may be used to endorse or promote products derived from 18 | this software without specific prior written permission. 19 | 20 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 21 | AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 22 | IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 23 | DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE 24 | FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 25 | DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR 26 | SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER 27 | CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 28 | OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 29 | OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 30 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # Awesome Alt Languages [![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome) 2 | 3 | Just a list of Awesome Alt Langs to check out: 4 | * [Alpaca](https://github.com/alpaca-lang/alpaca) - a statically typed, strict/eagerly evaluated, functional programming language for the Erlang virtual machine, inspired by ML 5 | * [Arend](https://arend-lang.github.io/) - a theorem prover based on Homotopy Type Theory. IntelliJ Arend is a plugin for IntelliJ IDEA that turns it into a full-fledged IDE for the Arend language. 6 | * [Arturo](https://github.com/arturo-lang/arturo) - Arturo is a modern, dynamic programming language for fast and portable standalone scripts, based on syntactic flexibility 7 | * [ATS](http://www.ats-lang.org/) - a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. 8 | * [Beef](https://www.beeflang.org/) - an open source performance-oriented compiled programming language which has been built hand-in-hand with its IDE environment. 9 | * [Ć](https://github.com/pfusik/cito) - a programming language which can be translated automatically to C, C++, C#, Java, JavaScript, Python, Swift, TypeScript and OpenCL C. 10 | * [caramel](https://caramel.run) - a functional language for building type-safe, scalable, and maintainable applications. 11 | * [carp](https://github.com/carp-lang/Carp) - A statically typed lisp, without a GC, for real-time applications. 12 | * [Clean](https://clean.cs.ru.nl/Clean) - a general purpose, state-of-the-art, pure and lazy functional programming language designed for making real-world applications. 13 | * [Clio](https://clio-lang.org) - a functional, parallel, distributed programming language. 14 | * [Coconut](http://coconut-lang.org/) - Simple, elegant, Pythonic functional programming. 15 | * [CoffeeScript](https://coffeescript.org/) - an attempt to expose the good parts of JavaScript in a simple way. 16 | * [crystal](https://crystal-lang.org/) - a language for humans and computers. 17 | * [Efene](https://efene.org/) - Efene is an alternative syntax for the Erlang Programming Language focusing on simplicity, consistency, ease of use and programmer UX. 18 | * [F*](https://www.fstar-lang.org/) - a general-purpose functional programming language with dependent types, monadic effects, refinement types, and a weakest precondition calculus. 19 | * [Felix](http://felix-lang.github.io/felix/) - an advanced, statically typed, high performance scripting language with native C++ embedding. 20 | * [Fennel](https://fennel-lang.org) - Fennel is a programming language that brings together the speed, simplicity, and reach of Lua with the flexibility of a lisp syntax and macro system. 21 | * [flix](https://flix.dev/) - a statically typed functional, imperative, and logic programming language with advanced features that compiles to JVM bytecode. 22 | * [Futhark](https://futhark-lang.org/) - high-performance purely functional data-parallel array programming. 23 | * [Gerbil Scheme](https://cons.io/) - Gerbil is a meta-dialect of Scheme with post-modern features 24 | * [gleam](https://gleam.run/) - a fast, friendly, and functional language for building type-safe, scalable systems! 25 | * [Golo](https://golo-lang.org/) — a lightweight dynamic language for the JVM. 26 | * [Go+](https://goplus.org/) - The Go+ programming language is designed for engineering, STEM education, and data science. 27 | * [GOO](https://googoogaga.github.io/) - type-based prefix syntaxed language that is simple, powerful and extensible. 28 | * [grain](https://grain-lang.org) - a new language that puts academic language features to work. 29 | * [Hy](https://docs.hylang.org/en/stable/) - Hy is a Lisp dialect that’s embedded in Python 30 | * [idris](https://www.idris-lang.org/) - A Language for Type-Driven Development. 31 | * [inko](https://inko-lang.org) - Safe and concurrent object-oriented programming, without the headaches. 32 | * [io](https://iolanguage.org) - a programming language focused on expressiveness through simplicity. 33 | * [J](https://www.jsoftware.com/) - a high-level, general-purpose programming language that is particularly suited to the mathematical, statistical, and logical analysis of data. 34 | * [Janet](https://janet-lang.org) - a functional and imperative programming language. 35 | * [koka](https://koka-lang.github.io/koka/doc/index.html) - A Functional Language with Effect Types and Handlers. 36 | * [Lumen](https://github.com/lumen/lumen) - An alternative BEAM implementation, designed for WebAssembly. 37 | * [MoonScript](https://moonscript.org) - A programmer friendly language that compiles to Lua. 38 | * [mun](https://mun-lang.org/) - a programming language empowering creation through iteration. 39 | * [nim](https://nim-lang.org/) - a statically typed compiled systems programming language. 40 | * [Odin](https://odin-lang.org/) - The Odin programming language is designed with the intent of creating an alternative to C with the following goals: simplicity, high performance, built for modern systems and joy of programming. 41 | * [Passerine](https://github.com/vrtbl/passerine) - A small extensible programming language designed for concise expression with little code. 42 | * [Pharo](https://pharo.org) - a pure object-oriented programming language and a powerful environment, focused on simplicity and immediate feedback. 43 | * [picolisp](https://picolisp.com) - a programming language, or really a programming system, including a built-in database engine and a GUI system! It's simple and lightweight and encourages clean, concise code. 44 | * [pony](https://www.ponylang.io/) - an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language. 45 | * [pyret](https://pyret.org) - a programming language designed to serve as an outstanding choice for programming education while exploring the confluence of scripting and functional programming. 46 | * [red](https://www.red-lang.org/) - a next-gen programming language, strongly inspired by REBOL. 47 | * [ReScript](https://rescript-lang.org/) - The JavaScript-like language you have been waiting for. Previously known as BuckleScript and Reason. 48 | * [Shen](http://shenlanguage.org/) - a hypermodern functional language that offers many features not currently available under other functional platforms. 49 | * [unison](https://www.unisonweb.org/) - an open source functional programming language based on a simple idea with big implications: code is content-addressed and immutable. 50 | * [Unseemly](https://unseemly.github.io/) - the first language able to safely typecheck all macros before expansion. 51 | * [v](https://vlang.io) - Simple, fast, safe, compiled. For developing maintainable software. 52 | * [wren](https://wren.io/) - a small, fast, class-based concurrent scripting language. 53 | * [zig](https://ziglang.org/) - a general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software. 54 | * [zz](https://github.com/zetzit/zz) - zymbolic verifier and tranzpiler to bare metal C. 55 | --------------------------------------------------------------------------------