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 tutorials to learn Coq.
Read more
Tag: tutorials
Excellent Free Tutorials to Learn Raku
Raku is a member of the Perl family of programming languages.Formerly known as Perl 6, it was renamed in October 2019.
Read more
Excellent Free Tutorials to Learn CSS
Web pages are built with HTML, which specifies the content of a page. CSS (Cascading Style Sheets) is a separate language which specifies a page’s appearance.
Read more
Excellent Free Tutorials to Learn Limbo
Limbo is a programming language intended for applications running distributed systems on small computers.
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
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
Excellent Free Tutorials to Master Programming
What you need is a curated list of programming tutorials. Better than that. A curated list of free and open source programming tutorials.
Read more