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
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
copilot.vim
Neovim plugin for GitHub Copilot
cornelis
agda-mode for neovim
error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
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.
hyperbole
Haskell interactive serverside web framework inspired by HTMX
kmonad
An advanced keyboard manager
typescript-json-decoder
Json Decoder for Typescript
VulkanAutomata
Cellular Automata GPU Renderer using the Vulkan API
yomichan
Japanese pop-up dictionary extension for Chrome and Firefox.