mandober

enwars

List of common environment variables in linux

debrief.cs

Notes about the theoretical side of computing.

debrief.math

math notes and reference

debrief.haskell

haskell notes

haskell-logic

Logical derivations in Haskell

agda-agenda

Getting to know the Agda language

agenda

Exploring Agda

debonair

Notes about math and computing

debrief.hierarchy

anarchierarchy

debrief.meta

debrief collection meta repo

debrief.pl

aggregate of misc pl notes

debrief.shell

bash-inclined shell environment

debrief.tech

technotes

debriefs

debrief collection

dotfiles

chaos takes the wheel of the cadillac, rage climbs in the back

entro.py

into intro entro python

fpj

FP in JS

functional-php

fuse

fuse all debriefs into a single kb

gambit-hs

Exploring Haskell

hslib

Haskellness

into-haskell

Haskell on trial

js-flex

Flexible decorator for polyadic functions

js-trial

lambert

Lambdas in PL

mandober.github.io

pokemon

React learning project

shartefacts

shell artefacts

shellements

shellementary principles and practices

vectercise

Type-level Haskell exercise: implementing list functions on a vector