Pinned Repositories
ChatGPT-for-bash
Using ChatGPT to convert natural language descriptions into bash commands
curses-idris
Curses bindings package for Idris
dwm
my personal dwm fork
monadic-bang
GHC plugin to desugar ! into do-notation
nixos-dotfiles
configuration for my nixos setup
Panorama
University project to create a panorama image from an image of a reflective metal sphere
SDL-idris
SDL bindings package for idris
vulkan-molecules
A molular dynamics simulation implemented in Haskell + Vulkan
JakobBruenker's Repositories
JakobBruenker/monadic-bang
GHC plugin to desugar ! into do-notation
JakobBruenker/ChatGPT-for-bash
Using ChatGPT to convert natural language descriptions into bash commands
JakobBruenker/vulkan-molecules
A molular dynamics simulation implemented in Haskell + Vulkan
JakobBruenker/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
JakobBruenker/a-cabal-error
JakobBruenker/AOC-haskell-template
A template repository for solving Advent of Code problems with Haskell
JakobBruenker/AoC2015
JakobBruenker/AoC2021
JakobBruenker/aoc2022
JakobBruenker/assembler
Assembler for a custom CPU
JakobBruenker/cabal-hangs
JakobBruenker/copilot.vim
Neovim plugin for GitHub Copilot
JakobBruenker/cornelis
agda-mode for neovim
JakobBruenker/error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
JakobBruenker/fused-effects
A fast, flexible, fused effect system for Haskell
JakobBruenker/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
JakobBruenker/ghc.dev
The https://ghc.dev Website Generator
JakobBruenker/hask
Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
JakobBruenker/haskell-intro
Introductory presentation/demo on Haskell
JakobBruenker/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
JakobBruenker/hyperbole
Haskell interactive serverside web framework inspired by HTMX
JakobBruenker/incremental-pants
JakobBruenker/kmonad
An advanced keyboard manager
JakobBruenker/logseq-quicktodo-plugin
JakobBruenker/plugin-test
JakobBruenker/qualified-do-layout
JakobBruenker/simple-tts-demo
JakobBruenker/typescript-json-decoder
Json Decoder for Typescript
JakobBruenker/VulkanAutomata
Cellular Automata GPU Renderer using the Vulkan API
JakobBruenker/yomichan
Japanese pop-up dictionary extension for Chrome and Firefox.