Michael Kohlhaas's repositories
Language:AgdaMIT000
CS410-21
being the teaching materials and exercises for CS410 in the 2021/22 session
Language:Agda000
Language:Go000
Language:GoMIT000
Language:ErlangMIT000
Language:PureScript000
fyp
My final year project at the University of Strathclyde
000
Language:Go000
Language:GoMIT000
Language:GoMIT000
Language:Shell000
Language:HaskellBSD-3-Clause000
Language:ErlangBSD-3-Clause000
Language:GoMIT000
Language:GoMIT000
Language:RustMIT000
lfs-scripts
Instructions and scripts to build Linux From Scratch (LFS) as simply as possible
000
MyLFS
A giant Bash script that builds Linux From Scratch
MIT000
Language:Haskell000
Language:Agda000
Language:PureScriptApache-2.0000
RealWorldOCaml-Book
V2 of Real World OCaml
NOASSERTION000
Language:OCaml000
Language:Haskell000
vim-snippets
vim-snipmate default snippets (Previously snipmate-snippets)
Language:Vim SnippetMIT000
void-packages
The Void source packages collection
Language:ShellNOASSERTION000