mandober
optional reference-counting interiorly mutable discipline without the discipline of all of the discipline
Belgrade, Serbia
Pinned Repositories
bing-bash
Bash functions library
debrief.cs
Notes about the theoretical side of computing.
debrief.haskell
haskell notes
debrief.math
math notes and reference
enwars
List of common environment variables in linux
rust-debrief
Notes on Rust accretion: from summary to particularity.
rust-linked-list
Linked list in Rust
rust-maybe-type
Rust: Option's doppelganger, the Maybe type
shartefacts
shell artefacts
typeof
typeof - variable typing and dumping for bash
mandober's Repositories
mandober/enwars
List of common environment variables in linux
mandober/debrief.cs
Notes about the theoretical side of computing.
mandober/debrief.math
math notes and reference
mandober/debrief.haskell
haskell notes
mandober/haskell-logic
Logical derivations in Haskell
mandober/shartefacts
shell artefacts
mandober/agda-agenda
Getting to know the Agda language
mandober/agenda
Exploring Agda
mandober/alligator
Free list allocator
mandober/c-linked-list
Linked list in C
mandober/cmod
c modules
mandober/debonair
Notes about math and computing
mandober/debrief.hierarchy
anarchierarchy
mandober/debrief.meta
debrief collection meta repo
mandober/debrief.pl
aggregate of misc pl notes
mandober/debrief.shell
bash-inclined shell environment
mandober/debrief.tech
technotes
mandober/debriefs
debrief collection
mandober/dotfiles
murder takes a wheel of the Cadillac, death climbs in the back
mandober/fpj
FP in JS
mandober/functional-php
mandober/fuse
fuse all debriefs into a single kb
mandober/gambit-hs
Exploring Haskell
mandober/hslib
Haskellness
mandober/js-flex
Flexible decorator for polyadic functions
mandober/js-trial
mandober/mandober.github.io
mandober/pokemon
React learning project
mandober/shellements
shellementary principles and practices
mandober/vectercise
Type-level Haskell exercise: implementing list functions on a vector