Agda is a dependently typed functional programming language based on intuitionistic type theory.
Read more
Tag: programming
Excellent Free Tutorials to Learn Alice
Alice is an object-based, open source, educational programming language with an integrated development environment (IDE).
Read more
Excellent Free Books to Learn Objective-C
Objective-C is a general-purpose, dynamic, object-oriented programming language that adds Smalltalk-style messaging to the C programming language.
Read more
Free Books to Learn Kotlin
Kotlin is a cross-platform, statically typed, general-purpose programming language with type inference.
Read more
Excellent Free Tutorials to Learn Standard ML
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
5 Excellent Free Books to Learn Markdown
Markdown is a plain text formatting syntax created by John Gruber in 2004. Here’s our recommended free Markdown books.
Read more
3 Free Books to Learn Dart
Dart is a client-optimized programming language for fast apps on multiple platforms.
Read more
Now and Then: Programming Languages to Shake up the Mix?
Back in September 2013 we carried an article showcasing 11 newfangled programming languages.
Read more
Excellent Free Tutorials to Learn Factor
Factor is a dynamic stack-based programming language inspired by earlier stack-based languages like Forth and Joy.
Read more
Excellent Free Tutorials to Learn HTML
Here’s our recommended free HTML tutorials to master this language.
Read more
Excellent Free Tutorials to Learn Pike
Pike is an interpreted, general-purpose, high-level, cross-platform, dynamic programming language. Read our recommended tutorials.
Read more
Now and Then: The Fate of 5 Open Source Integrated Development Environments
In 2014, we identified 5 promising free and open source Integrated Development Environments. How did they fare?
Read more
Excellent Free Books to Learn D
D is a general-purpose systems programming language with a C-like syntax that compiles to native code. Here’s our recommended D books.
Read more
Excellent Free Tutorials to Learn Markdown
Markdown is a plain text formatting syntax created by John Gruber in 2004. It’s designed to be easy-to-read and easy-to-write. Here’s our recommended Markdown tutorials.
Read more
Excellent Free Tutorials to Learn TypeScript
TypeScript is a strict syntactical superset of JavaScript and adds optional static typing to the language. Here’s our recommended free tutorials to learn TypeScript.
Read more
6 Excellent Free Books to Learn Standard ML
ML (“Meta Language”) is a general-purpose functional programming language. It has roots in Lisp. Here’s our recommended free ML books.
Read more
Excellent Free Tutorials to Learn Kotlin
Kotlin is a cross-platform, statically typed, general-purpose programming language with type inference. Here’s our recommended tutorials to learn Kotlin.
Read more
3 Free Books to Learn Vala
Vala is an object-oriented programming language with a self-hosting compiler that generates C code and uses the GObject system. Here’s our recommended books to learn Vala.
Read more
Excellent Free Tutorials to Learn XML
XML is a set of rules for defining semantic tags that describe the structure and meaning of a document. Here’s our recommended free tutorials to learn XML
Read more
10 Excellent Free Books to Learn XML
XML is a set of rules for defining semantic tags that describe the structure and meaning of a document. Here’s our recommended free XML books.
Read more