Jeroen de Haas's repositories
idris2-dash-docset
A nix flake to pack Idris2's documentation as a Dash docset
beamer-denbosch
Beamer template for Avans University of Applied Sciences
darkroom
Simple distraction-free editing
dotfiles
My dotfiles
home-manager
Manage a user environment using Nix [maintainer=@rycee]
idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
idris2-pkgs
An unofficial Idris2 package repository for Nix
idris2.kak
Idris2 support for Kakoune
jquery-examples
Examples with jQuery as part of a short introductory presentation
kakoune
mawww's experiment for a better code editor
kakoune-flake
A Nix flake containing my Kakoune configuration
mal
mal - Make a Lisp
nixpkgs
Nix Packages collection
nixpkgs-wayland
nixpkgs-wayland is an overlay for sway and other wlroots-related Wayland tools
pandoc-flake
A flake for building documents using pandoc and LaTeX
tree-sitter-org
Org grammar for tree-sitter
void-packages
The XBPS source packages collection