Coq is a dependently typed language. This means that the types of the language may depend on the values of variables. Here’s our recommended free books to learn Coq.
Read more
Category: Programming
Excellent Free Tutorials to Learn Limbo
Limbo is a programming language intended for applications running distributed systems on small computers.
Read more
CudaText – cross-platform text editor
CudaText is a versatile, extensible free and open source editor with a design reminiscent of Sublime Text. Here’s our review.
Read more
Excellent Free Tutorials to Learn Bash
Bash (acronym for the ‘Bourne-Again-SHell’) is the GNU Project’s shell and programming language. Here’s our recommended tutorials to learn this scripting language.
Read more
Excellent Free Tutorials to Learn Octave
Octave is a high-level language, primarily intended for numerical computations. Here’s our recommended free tutorials to learn Octave.
Read more
Excellent Free Tutorials to Learn Emacs Lisp
Emacs Lisp is a dialect of the Lisp programming language. Here’s our recommended tutorials to master Emacs Lisp.
Read more
Excellent Free Tutorials to Learn OpenMP
OpenMP (Open Multi-Processing) is an open standard API for Shared Memory parallelization in C, C++ and Fortran.
Read more
Excellent Free Tutorials to Learn Nim
Nim is an imperative, general-purpose, multi-paradigm, statically typed, systems, compiled programming language. Here’s our recommended free tutorials to learn Nim.
Read more
3 Excellent Free Books to Learn Dylan
Dylan is a multi-paradigm language supporting functional and object-oriented programming. Here’s our recommended free books to learn Dylan.
Read more
Excellent Free Tutorials to Learn Arduino
The Arduino is a cheap, flexible, open source microcontroller platform designed for hobbyists to use electronics in homemade projects.
Read more