mandober Goto Github PK

agda-agenda

Getting to know the Agda language

agenda

Exploring Agda

bashfx

bash functions and scripts

bing-bash

Bash functions library

c-linked-list

Linked list in C

cs-debrief

δὲ τέχνη μακρή

debonair

Notes about math and computing

debrief.cs

Notes about the theoretical side of computing.

debrief.haskell

haskell notes

debrief.hierarchy

anarchierarchy

debrief.js

aggregate of misc js notes

debrief.math

math notes and reference

debrief.meta

debrief collection meta repo

debrief.pl

aggregate of misc pl notes

debrief.rust

Rust in bullet point essentials.

debrief.shell

shell environment, dotfiles, bash inclined docs and reference

debrief.tech

technotes

debriefs

debrief collection

debris

Collection of leftover notes on misc topics

dotfiles

Dotfiles, primarily for POSIX like environments

dotnet-debrief

.net debrief | wip

entro.py

into intro entro python

enwars

List of common environment variables in linux

fpj

FP in JS

functional-php

fuse

fuse all debriefs into a single kb

gambit-hs

Exploring Haskell

haskell-logic

Logical derivations in Haskell

hslib

Haskellness

into-haskell

Haskell on trial