Jeroen de Haas (jeroendehaas)

jeroendehaas

Geek Repo

Company:@Avans

Home Page:https://jeroen.dehaas.online

Github PK Tool:Github PK Tool

Jeroen de Haas's repositories

VimLab

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

Language:Vim ScriptLicense:BSD-2-ClauseStargazers:5Issues:5Issues:0

bastille

Bastille is a small utility designed to simplify creating and updating jails on modern versions of the FreeBSD operating system.

Language:ShellLicense:ISCStargazers:2Issues:0Issues:0

idris2-dash-docset

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

Language:NixLicense:NOASSERTIONStargazers:1Issues:0Issues:0

phpmonad

Monads implemented in PHP

Language:PHPLicense:ISCStargazers:1Issues:0Issues:0

beamer-denbosch

Beamer template for Avans University of Applied Sciences

Language:TeXLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

book

Computer Networks: A Systems Approach -- Textbook

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

Boop

A scriptable scratchpad for developers. In slow yet steady progress.

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

darkroom

Simple distraction-free editing

Language:Emacs LispStargazers:0Issues:0Issues:0

dotfiles

My dotfiles

Language:Emacs LispStargazers:0Issues:0Issues:0

home-manager

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

Language:NixLicense:MITStargazers:0Issues:0Issues:0

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:2Issues:0

idris2-mode

Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

idris2-pkgs

An unofficial Idris2 package repository for Nix

Language:NixLicense:MITStargazers:0Issues:0Issues:0

idris2.kak

Idris2 support for Kakoune

Language:KakouneScriptLicense:MITStargazers:0Issues:0Issues:0

jquery-examples

Examples with jQuery as part of a short introductory presentation

Language:HTMLStargazers:0Issues:0Issues:0

kakoune

mawww's experiment for a better code editor

Language:C++License:UnlicenseStargazers:0Issues:0Issues:0

kakoune-flake

A Nix flake containing my Kakoune configuration

Language:NixLicense:ISCStargazers:0Issues:0Issues:0

mal

mal - Make a Lisp

Language:AssemblyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:0Issues:0

nixpkgs-wayland

nixpkgs-wayland is an overlay for sway and other wlroots-related Wayland tools

Language:NixStargazers:0Issues:0Issues:0

pandoc

Universal markup converter

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

pandoc-flake

A flake for building documents using pandoc and LaTeX

Language:NixLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

SPLV20

SPLV20 course notes

Language:IdrisStargazers:0Issues:2Issues:0

tree-sitter-org

Org grammar for tree-sitter

License:MITStargazers:0Issues:0Issues:0

void-packages

The XBPS source packages collection

Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0