diff --git a/README.md b/README.md index 9b3f4c6..2428315 100644 --- a/README.md +++ b/README.md @@ -1694,36 +1694,42 @@ A desktop environment usually depends on a specific window manager to work. > Suggestions for alternative programming languages are necessarily more complex than many other categories considered here, as that's one of the core technical choices to be made when starting a new software development project. > > Depending on your needs and technical concerns, you may find any number of different alternative languages useful. -> +> **Lisps**: > * [ArkScript](https://arkscript-lang.dev/) [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://github.com/ArkScript-lang/Ark#strict-no-llm--no-ai-policy)) - Lisp-inspired functional embeddable scripting language -> * [ATS](https://www.cs.bu.edu/~hwxi/atslangweb/Home.html) - functional, statically typed programming language that unifies implementation with formal specification that can be as efficient as C -> * [Austral](https://austral-lang.org) - systems language with linear types and capability-based security -> * [Biscuit Language (BL)](https://biscuitlang.org) - simple imperative programming language > * [Cakelisp](https://macoy.me/code/macoy/cakelisp) - performance-oriented Lisp-like language > * [Chicken] [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://wiki.call-cc.org/contribute#regarding-patches-created-using-llm-assistance)) - dynamic, compiled, general-purpose programming language, based on Scheme > * [Clojure](https://clojure.org) [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://clojure.org/dev/contributor_agreement#_no_generated_code)) - dynamic, compiled, general-purpose programming language, based on Lisp +> * [Fennel](https://fennel-lang.org/) [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://git.sr.ht/~technomancy/fennel/tree/main/CONTRIBUTING.md#contribution-transparency)) - lisp that compiles to Lua +> +> **Systems languages** > * [Cone](https://cone.jondgoodwin.com) - fast, friendly, safe, and fit systems programming language (dormant) > * [CSpydr](https://github.com/Spydr06/CSpydr) - static typed low-level compiled programming language inspired by Rust and C -> * [eC](https://ec-lang.org) - expressive and intuitive, C style Object-Oriented programming language -> * [Fennel](https://fennel-lang.org/) [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://git.sr.ht/~technomancy/fennel/tree/main/CONTRIBUTING.md#contribution-transparency)) - lisp that compiles to Lua -> * [Idris] [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md#things-we-will-not-accept)) - purely functional programming language, similar to Haskell > * [Hare](https://harelang.org) - systems programming language designed to be simple, stable, and robust -> * [Inko](https://inko-lang.org) - language for building concurrent software with confidence > * [jiyu](https://handmade.network/p/114/jiyu) - low-level language being developed for fun (discontinued) > * [Myrddin](https://myrlang.org) - system programming language with a similar niche as C (dormant) > * [Nelua](https://nelua.io) - statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code -> * [Oak](https://github.com/adam-mcdaniel/oakc) - portable programming language with a compact intermediate representation (dormant) -> * [Omegathon] [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://codeberg.org/Allen123456hello/omegathon/src/branch/main/No-LLM.md)) - Fork of Python 3.9 -> * [Q](https://git.urbach.dev/cli/q) - system programming language with its own compiler backend -> * [Seed7](https://seed7.net) - high level general purpose programming language with both an interpreter and a compiler > * [Silk](https://ajaymt.github.io/silk) - small system programming language that is designed to be as flexible and simple as C, but more pleasant to write (dormant) -> * [Sparrow](https://github.com/Sparrow-lang/sparrow) - general-purpose programming language that aims to integrate efficiency, flexibility and naturalness (discontinued) -> * [Tauthon] - Fork of Python 2.7 with features backported from Python 3 > * [Terra](https://terralang.org) - system programming language that is embedded in and meta-programmed by Lua > * [Vale](https://vale.dev) - fast, safe, and easy programming language (dormant) > * [Vox](https://github.com/MrSmith33/vox) - multiparadigm programming language inspired by D (60%), Jai (30%), and Zig (10%) (dormant) > * [Wellang](https://github.com/MinervaWare/well) - one instruction set, every CPU > * [Zig](https://ziglang.org) [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://codeberg.org/ziglang/zig#strict-no-llm-no-ai-policy)) - general-purpose, compiled, system programming language +> +> **Functional Programming Languages** +> * [ATS](https://www.cs.bu.edu/~hwxi/atslangweb/Home.html) - functional, statically typed programming language that unifies implementation with formal specification that can be as efficient as C +> * [Austral](https://austral-lang.org) - systems language with linear types and capability-based security +> * [Idris] [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md#things-we-will-not-accept)) - purely functional programming language, similar to Haskell +> +> **Miscelaneous** +> * [Biscuit Language (BL)](https://biscuitlang.org) - simple imperative programming language +> * [eC](https://ec-lang.org) - expressive and intuitive, C style Object-Oriented programming language +> * [Inko](https://inko-lang.org) - language for building concurrent software with confidence +> * [Oak](https://github.com/adam-mcdaniel/oakc) - portable programming language with a compact intermediate representation (dormant) +> * [Omegathon] [![Anti-AI Policy](./badges/anti-ai-policy.svg)](#anti-ai-policy) ([1](https://codeberg.org/Allen123456hello/omegathon/src/branch/main/No-LLM.md)) - Fork of Python 3.9 +> * [Q](https://git.urbach.dev/cli/q) - system programming language with its own compiler backend +> * [Seed7](https://seed7.net) - high level general purpose programming language with both an interpreter and a compiler +> * [Sparrow](https://github.com/Sparrow-lang/sparrow) - general-purpose programming language that aims to integrate efficiency, flexibility and naturalness (discontinued) +> * [Tauthon] - Fork of Python 2.7 with features backported from Python 3 ## Programming Language-Specific Tools and Libraries