BSD
BSD licenses are a family of permissive free software licenses, imposing minimal restrictions on the use and distribution of covered software.
Plangs
| Name | Description |
|---|---|
| Agda | Dependently typed functional programming language and proof assistant used for writing and verifying proofs. |
| AWK | Text processing and data extraction, common on Unix-like systems. |
| Boo | Statically typed language with Python-like syntax and support for .NET framework features. |
| C | General-purpose language foundational in systems and application programming. |
| Clean | Functional programming language known for uniqueness typing and lazy evaluation. |
| CMake | Cross-platform build system that generates build files for software projects. |
| Curry | Declarative language that integrates features of functional and logic programming paradigms |
| Dart | Language for building web, mobile, and server apps, with tools to compile to JavaScript and WebAssembly. |
| Elvish | Versatile scripting language and interactive shell with cross-platform binary support. |
| Euphoria | User-friendly language focusing on simplicity and readability, popular for various applications on multiple OS platforms. |
| Extempore | High-performance language for real-time audiovisual computing and live coding. |
| Factor | Stack-oriented programming language with dynamic types, extensible syntax, and a self-hosted optimizing compiler. |
| Flutter | Toolkit for creating natively compiled cross-platform apps from a single codebase. |
| Go | Statically typed, compiled language with memory safety and CSP-style concurrency, designed at Google. |
| Haskell | Statically-typed, purely functional language known for type inference and lazy evaluation. |
| Idris | Purely-functional language for Type-Driven Development with dependent types and optional lazy evaluation. |
| Intel Fortran | High-performance computing compiler suite from Intel, supporting multiple platforms. |
| Io | A pure object-oriented language with a prototype-based model, inspired by Smalltalk, Self, and others, emphasizing simplicity, flexibility, and concurrency. |
| Isabelle | Automated theorem prover for formalizing mathematical proofs in higher-order logic. |
| JavaScriptCore | JavaScript engine utilized in Safari and part of the WebKit project. |
| Jinja | Web template engine for Python, known for its flexible syntax and functionality. |
| Jupyter Notebook | Web-based interactive computational environment for creating notebook documents. |
| LLVM | Set of compiler technologies for developing language frontends and architecture backends. |
| Modelica | Non-proprietary, object-oriented language for modeling complex physical systems across multiple domains. |
| Pony | Object-oriented, actor-model, secure programming language. |
| Protocol Buffer | Platform-neutral extensible mechanism for serializing structured data developed by Google. |
| Pure Data | Visual programming language for interactive computer music and multimedia. |
| PureScript | Strongly-typed, purely-functional language similar to Haskell, compiling to JavaScript. |
| Rascal | Domain-specific language for metaprogramming and implementing domain-specific languages. |
| Red | Programming language supporting imperative and functional paradigms, developed to overcome Rebol's limitations. |
| Ruby | Interpreted, high-level language focused on productivity and simplicity. |
| SBCL | Open-source, high-performance Common Lisp implementation derived from CMUCL. |
| Scheme | Minimalistic Lisp dialect known for its functional programming capabilities. |
| Scratch | Block-based visual language for children to learn coding through interactive projects. |
| Self | Prototype-based dynamic OOP language, influenced by Smalltalk and APL, impacting JavaScript. |
| Shen | Multi-paradigm language blending functional and logic programming for symbolic computation. |
| Standard ML | Functional programming language known for its type inference and usage in compiler writing. |
| SWI-Prolog | Implementation of Prolog focused on versatility and rich libraries. |
| Tcl | Dynamic, interpreted programming language known for its extensibility, embeddability, and support for multiple paradigms. |
| V8 | V8 is a high-performance JavaScript engine used in Chrome and Node.js. |
| Whiley | Functional and imperative language with contracts and formal specification features. |