jeroendehaas Goto Github PK

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

home-manager

Manage a user environment using Nix [maintainer=@rycee]

idris-dev

A Dependently Typed Functional Programming Language

idris2

A purely functional programming language with first class types

idris2-dash-docset

A nix flake to pack Idris2's documentation as a Dash docset

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

Universal markup converter

pandoc-flake

A flake for building documents using pandoc and LaTeX

phpmonad

Monads implemented in PHP

sfoxidized

splv20

SPLV20 course notes

tree-sitter-org

Org grammar for tree-sitter

vimlab

VimLab is a vim plugin which replicates MATLAB's support for code sections.

void-packages

The XBPS source packages collection

x86-to-6502