Michael Kohlhaas's repositories
clash-pong
Pong in Haskell / Clash, running as software using SDL and as hardware targeting FPGAs
CS410-22
being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session
ExTypes
Existential Types in PureScript
haskell-vim
Custom Haskell Vimscripts
hid-examples
Examples to accompany the book "Haskell in Depth"
nvim-lsp-installer
Neovim plugin that allows you to seamlessly manage LSP servers with :LspInstall. With full Windows support!
Odin-Examples
Examples of idiomatic Odin code
plenary.nvim
plenary: full; complete; entire; absolute; unqualified. All the lua functions I don't want to write twice.
purescript-either
Values with two possibilities
purescript-parsing
A parser combinator library based on Parsec
purescript-vim
Syntax highlighting and indentation for PureScript
TLAPlus-Examples
A collection of TLA+ specifications of varying complexities