jeroendehaas
Lecturer and Researched in Computer Science @Avans University of Applied Sciences and the Centre for Applied Research for Technical Innovation
@Avans
Pinned Repositories
bastille
Bastille is a small utility designed to simplify creating and updating jails on modern versions of the FreeBSD operating system.
beamer-denbosch
Beamer template for Avans University of Applied Sciences
book
Computer Networks: A Systems Approach -- Textbook
Boop
A scriptable scratchpad for developers. In slow yet steady progress.
darkroom
Simple distraction-free editing
dotfiles
My dotfiles
idris2-dash-docset
A nix flake to pack Idris2's documentation as a Dash docset
phpmonad
Monads implemented in PHP
VimLab
VimLab is a vim plugin which replicates MATLAB's support for code sections.
jeroendehaas's Repositories
jeroendehaas/VimLab
VimLab is a vim plugin which replicates MATLAB's support for code sections.
jeroendehaas/bastille
Bastille is a small utility designed to simplify creating and updating jails on modern versions of the FreeBSD operating system.
jeroendehaas/idris2-dash-docset
A nix flake to pack Idris2's documentation as a Dash docset
jeroendehaas/phpmonad
Monads implemented in PHP
jeroendehaas/beamer-denbosch
Beamer template for Avans University of Applied Sciences
jeroendehaas/book
Computer Networks: A Systems Approach -- Textbook
jeroendehaas/Boop
A scriptable scratchpad for developers. In slow yet steady progress.
jeroendehaas/darkroom
Simple distraction-free editing
jeroendehaas/dotfiles
My dotfiles
jeroendehaas/home-manager
Manage a user environment using Nix [maintainer=@rycee]
jeroendehaas/Idris-dev
A Dependently Typed Functional Programming Language
jeroendehaas/Idris2
A purely functional programming language with first class types
jeroendehaas/idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
jeroendehaas/idris2-pkgs
An unofficial Idris2 package repository for Nix
jeroendehaas/idris2.kak
Idris2 support for Kakoune
jeroendehaas/jquery-examples
Examples with jQuery as part of a short introductory presentation
jeroendehaas/kakoune
mawww's experiment for a better code editor
jeroendehaas/kakoune-flake
A Nix flake containing my Kakoune configuration
jeroendehaas/mal
mal - Make a Lisp
jeroendehaas/nixpkgs
Nix Packages collection
jeroendehaas/nixpkgs-wayland
nixpkgs-wayland is an overlay for sway and other wlroots-related Wayland tools
jeroendehaas/pandoc
Universal markup converter
jeroendehaas/pandoc-flake
A flake for building documents using pandoc and LaTeX
jeroendehaas/sfoxidized
jeroendehaas/SPLV20
SPLV20 course notes
jeroendehaas/tree-sitter-org
Org grammar for tree-sitter
jeroendehaas/void-packages
The XBPS source packages collection
jeroendehaas/x86-to-6502