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: programming
6 Excellent Free Books to Learn Racket
Racket is a general-purpose, object-oriented, multi-paradigm, functional, imperative, logic based programming language.
Read more
5 Excellent Free Books to Learn CSS
We recommend the best free books to learn CSS, a language which specifies the appearance of web pages.
Read more
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
6 Excellent Free Books to Learn Coq
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
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