This repository contains examples of GNU Make files with explanations.
Updated 4 years ago
This repository contains the code for my vocabulary trainer written in Rust. Work in progress (WIP).
Updated 4 years ago
This repository contains a program for printing grids as text, for example in command line interfaces.
Updated 4 years ago
This repository contains my notes about the book "How To Prove It" by Velleman.
Updated 4 years ago
This repository contains my code following along the book "Build your own Lisp" by Daniel Holden.
Updated 4 years ago
This repository contains my notes about the book "Introduction to Mathematical Thinking" by Keith Devlin. The license is GFDL v1.3 or later versions of GFDL.
Updated 4 years ago
This repository contains code following along the miniKanren uncourse by William Byrd.
Updated 4 years ago
This repository contains the sources for my German exercises document.
Updated 4 years ago
This repository contains a functional implementation of the "Towers of Hanoi" puzzle.
Updated 4 years ago
This repository contains code following "A Pamphlet Against R" from https://panicz.github.io/pamphlet/.
Updated 4 years ago