Agda is a dependently typed functional programming language based on intuitionistic type theory.
Read more
Author: Erik Karlsson
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
Excellent Free Tutorials to Learn Objective-C
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
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