Agda is a dependently typed functional programming language based on intuitionistic Type Theory. Here’s our recommended free books to learn about Agda and Type Theory.
Read more
Category: Programming
Excellent Free Books to Learn Eiffel
Eiffel is an object-oriented programming language designed by Bertrand Meyer and Eiffel Software. Here’s our recommended free books to learn Eiffel.
Read more
Excellent Free Tutorials to Learn Chapel
Chapel is an open-source, high-productivity, parallel-programming language in development at Cray Inc., and is designed to run on multi-core PCs as well as multi-kilocore supercomputers.
Read more
Excellent Free Books to Learn Factor
Factor is a dynamic stack-based programming language inspired by earlier stack-based languages like Forth and Joy. Here’s our recommended free books to learn Factor.
Read more
Excellent Free Tutorials to Learn F#
F# (pronounced F sharp) is a general purpose, strongly typed, multi-paradigm programming language. Here’s our recommended free tutorials to learn F#.
Read more
Excellent Free Tutorials to Learn ABAP
ABAP (Advanced Business Application Programming) is a fourth-generation, high-level programming language created by the German software company SAP SE. Here’s our recommended ABAP tutorials.
Read more
Raspberry Pi 4: Chronicling the Desktop Experience – Learning about Computers for Kids – Week 27
This weekly edition showcases software for the Raspberry Pi 4 that teaches young people how to use a computer. Basic computing skills and beyond.
Read more
Excellent Free Tutorials to Learn Dart
Dart is a multi-paradigm, object-oriented, class defined, garbage-collected, scripting language using a C-style syntax that can transcompile into JavaScript. Here’s our recommended free tutorials.
Read more
Excellent Free Tutorials to Learn Elixir
Elixir is a dynamic, functional language designed for building scalable and maintainable applications. Here’s our recommended tutorials to master this language.
Read more
4 Excellent Free Books to Learn Tcl
Tcl (Tool Command Language) is a dynamic programming/scripting language based on concepts of Lisp, C, and Unix shells. Here’s our recommended free Tcl books
Read more
Excellent Free Tutorials to Learn LaTeX
LaTeX is a professional document preparation system and document markup language written by Leslie Lamport. It’s a very mature system with development starting more than 30 years ago. Here’s our recommended tutorials to learn LaTeX.
Read more
Excellent Free Tutorials to Learn CoffeeScript
CoffeeScript is a very succinct programming language that transcompiles into JavaScript, so there is no interpretation at runtime.
Read more
Excellent Free Tutorials to Learn BASIC
BASIC (Beginner’s All-purpose Symbolic Instruction Code) is a family of general-purpose, high-level programming languages whose design philosophy emphasizes ease of use. Here’s our recommended free tutorials to learn BASIC.
Read more
Excellent Free Tutorials to Learn Racket
Racket is a general-purpose, object-oriented, multi-paradigm, functional, imperative, logic based programming language based on the Scheme dialect of Lisp.
Read more
Excellent Free Tutorials to Learn Awk
Awk is small, fast, simple, and has a clean comprehensible C-like input language. It has robust programming constructs. Here’s our recommended tutorials.
Read more