This repository contains a calculator for probabilities in the game risk.
Updated 1 year ago
This repository contains examples for making use of Emacs org-mode spreadsheets.
Updated 1 year ago
This repository contains code and exercises and solutions going along with the book "Paradigms of Artificial Intelligence Programming - Case Studies in Common Lisp" by Peter Norvig, also known as "PAIP".
Updated 1 year ago
This repository contains notes and examples of how to do lazy evaluation in Scheme.
Updated 1 year ago
This repository contains examples for Org Agenda usage in Emacs.
Updated 1 year ago
This repository contains an attempt of implementing a thread pool using fibers, a fibers pool. The code is derived from another work of Amirouche Boubekki for his project Babelia.
Updated 1 year ago
This repository contains examples of GNU Make files with explanations.
Updated 1 year ago
This repository contains the code for my vocabulary trainer written in Rust. Work in progress (WIP).
Updated 1 year ago
This repository contains a program for printing grids as text, for example in command line interfaces.
Updated 1 year ago
This repository contains my notes about the book "How To Prove It" by Velleman.
Updated 1 year ago
This repository contains my code following along the book "Build your own Lisp" by Daniel Holden.
Updated 1 year 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 1 year ago
This repository contains code following along the miniKanren uncourse by William Byrd.
Updated 1 year ago