Jakob Brünker's repositories
monadic-bang
GHC plugin to desugar ! into do-notation
ChatGPT-for-bash
Using ChatGPT to convert natural language descriptions into bash commands
nixos-dotfiles
configuration for my nixos setup
vulkan-molecules
A molular dynamics simulation implemented in Haskell + Vulkan
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
AOC-haskell-template
A template repository for solving Advent of Code problems with Haskell
assembler
Assembler for a custom CPU
copilot.vim
Neovim plugin for GitHub Copilot
cornelis
agda-mode for neovim
fused-effects
A fast, flexible, fused effect system for Haskell
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
ghc.dev
The https://ghc.dev Website Generator
hask
Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
haskell-intro
Introductory presentation/demo on Haskell
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
kmonad
An advanced keyboard manager
troubleshooting
various helpful tips
typescript-json-decoder
Json Decoder for Typescript
video-resources
Resources to look at in concert with my Haskell videos
VulkanAutomata
Cellular Automata GPU Renderer using the Vulkan API
yomichan
Japanese pop-up dictionary extension for Chrome and Firefox.