Language with a type system rooted in the Applied Type System
ATS is 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.
Language with a focus on memory safety and concurrency
Rust is an open-source systems programming language that runs blazingly fast, prevents almost all crashes, and eliminates data races. Some of its features: - Algebraic data types, type inference - Pattern matching and closures - Concurrency without data races - Guaranteed memory safety - Optional garbage collection - Zero-cost abstractions - Minimal runtime - Efficient C bindings
Documentation for the Scala libraries & compiler
The documentation for the Scala standard library.
Scala Programming Language
Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages, enabling Java and other programmers to be more productive. Code sizes are typically reduced by a factor of two to three when compared to an equivalent Java application.
Emacs major mode for Elixir
Provides font-locking, indentation and navigation support for the Elixir programming language.
Object-oriented interpreted scripting language
Ruby is the interpreted scripting language for quick and easy object-oriented programming. It has many features to process text files and to do system management tasks (as in Perl). It is simple, straight-forward, and extensible. Features of Ruby are shown below. + Simple Syntax + *Normal* Object-Oriented features(ex. class, method calls) + *Advanced* Object-Oriented features(ex. Mix-in, Singleton-method) + Operator Overloading + Exception Handling + Iterators and Closures + Garbage Collection + Dynamic Loading of Object files(on some architecture) + Highly Portable(works on many UNIX machines, and on DOS, Windows, Mac, BeOS etc.)
Object-oriented interpreted scripting language
Ruby is the interpreted scripting language for quick and easy object-oriented programming. It has many features to process text files and to do system management tasks (as in Perl). It is simple, straight-forward, and extensible. Features of Ruby are shown below. + Simple Syntax + *Normal* Object-Oriented features(ex. class, method calls) + *Advanced* Object-Oriented features(ex. Mix-in, Singleton-method) + Operator Overloading + Exception Handling + Iterators and Closures + Garbage Collection + Dynamic Loading of Object files(on some architecture) + Highly Portable(works on many UNIX machines, and on DOS, Windows, Mac, BeOS etc.)
Object-oriented interpreted scripting language
Ruby is the interpreted scripting language for quick and easy object-oriented programming. It has many features to process text files and to do system management tasks (as in Perl). It is simple, straight-forward, and extensible. Features of Ruby are shown below. + Simple Syntax + *Normal* Object-Oriented features(ex. class, method calls) + *Advanced* Object-Oriented features(ex. Mix-in, Singleton-method) + Operator Overloading + Exception Handling + Iterators and Closures + Garbage Collection + Dynamic Loading of Object files(on some architecture) + Highly Portable(works on many UNIX machines, and on DOS, Windows, Mac, BeOS etc.)
Newsreader based on the S-Lang library
Slrn is an easy to use, but powerful NNTP newsreader. It is based on the S-Lang library.
Infrastructure for C/Ada Android cross-compiler (x86)
This package is a dependency of lang/gnatdroid-x86. It provides the cross-tools required to build the GNAT FreeBSD->x86 cross-compiler that is gnatdroid, as well as any binaries that it produces.