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
13 Best Free and Open Source Build Systems
Build automation is the process of automating the creation of a software build and the associated processes.
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
7 Best Free and Open Source API Documentation Browsers
Software developers need all the help possible. One useful tool is a documentation browser. In fact, they can sometimes be a life changer.
Read more
Top 8 Programming Tools for Kids
The art of programming is often perceived as being a difficult activity. Here’s great free and open source tools to help kids start coding.
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