Icon is a high-level, general-purpose language that contains a wide variety of features for processing and presenting symbolic data
Read more
The Linux Portal Site
Icon is a high-level, general-purpose language that contains a wide variety of features for processing and presenting symbolic data
Read more
Agda is a dependently typed functional programming language based on intuitionistic type theory.
Read more
Alice is an object-based, open source, educational programming language with an integrated development environment (IDE).
Read more
Objective-C is a general-purpose, dynamic, object-oriented programming language that adds Smalltalk-style messaging to the C programming language.
Read more
Kotlin is a cross-platform, statically typed, general-purpose programming language with type inference.
Read more
Standard ML is a safe, modular, strict, functional, polymorphic programming language with type inference, garbage collection, compile-time type checking, and exception handling.
Read more
Markdown is a plain text formatting syntax created by John Gruber in 2004. Here’s our recommended free Markdown books.
Read more
Dart is a client-optimized programming language for fast apps on multiple platforms.
Read more
Objective-C is a general purpose programming language which is a superset of the C programming language and provides object-oriented capabilities and a dynamic runtime.
Read more
Factor is a dynamic stack-based programming language inspired by earlier stack-based languages like Forth and Joy.
Read more