Pinned Repositories
cyclejs
A functional and reactive JavaScript framework for predictable code
binder_datatypes
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
blog
The static site generator for my personal blog
commithelper
A tool to create and lint commit messages
dhall-openssl
Generate a type-safe openssl configuration file with dhall
dotfiles
My new dotfiles for SwayWM on Arch Linux
Megarecord
My experiment about implementing Row Polymorphism in current Haskell
minireq
A minimal request library for the browser
nix-config
The NixOS configuration of my laptop
server-config
The config of all the servers I manage
jvanbruegge's Repositories
jvanbruegge/minireq
A minimal request library for the browser
jvanbruegge/server-config
The config of all the servers I manage
jvanbruegge/dhall-openssl
Generate a type-safe openssl configuration file with dhall
jvanbruegge/snabbdom-looks-like
Makes it easy to assert if two virtual DOM trees look similar
jvanbruegge/nix-config
The NixOS configuration of my laptop
jvanbruegge/binder_datatypes
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
jvanbruegge/kubernetes-config-v2
My new kubernetes setup with dhall
jvanbruegge/action-gh-release
📦 :octocat: GitHub Action for creating GitHub Releases
jvanbruegge/liquidhaskell-amortized-complexity
My paper about using LiquidHaskell to prove amortized complexity of data structures
jvanbruegge/blog
The static site generator for my personal blog
jvanbruegge/adventofcode
The future home of all advent of codes from me
jvanbruegge/ansi-pretty
AnsiPretty type-class for ansi-wl-pprint
jvanbruegge/audiobookshelf
Self-hosted audiobook and podcast server
jvanbruegge/audiobookshelf-web
Website for audiobookshelf
jvanbruegge/authentik
The authentication glue you need.
jvanbruegge/calculator
jvanbruegge/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
jvanbruegge/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
jvanbruegge/idp-futulog
jvanbruegge/immich
High performance self-hosted photo and video management solution.
jvanbruegge/linkwarden
⚡️⚡️⚡️Self-hosted collaborative bookmark manager to collect, organize, and preserve webpages, articles, and more...
jvanbruegge/master-thesis
jvanbruegge/model-testing
jvanbruegge/naproche
Write formal proofs in natural language and Latex.
jvanbruegge/nix-update
Swiss-knife for updating nix packages.
jvanbruegge/nixpkgs
Nix Packages collection
jvanbruegge/npm-lockfile-fix
Add missing integrity and resolved fields to a package-lock.json file
jvanbruegge/null-ls.nvim
Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.
jvanbruegge/ott
The Ott tool for writing definitions of programming languages and calculi
jvanbruegge/swagger2
Swagger 2.0 data model.