flupe

generics

jibniz

A custom javascript implementation of the IBNIZ VM

achille

A Haskell library for building incremental static site generators

verification-template

agda

Agda is a dependently typed programming language / interactive theorem prover.

misc

Experiments with agda

ornaments-thesis

My master thesis about generic programming and ornaments

slod

Tiny HTTP server for static files with live reloading

advent2019

Some solutions for the Advent of Code 2019

agda-core

agda-stdlib

The Agda standard library

agda2hs

Compiling Agda code to readable Haskell

aoc2020

Advent of Code 2020, in Idris2

dino

Modern XMPP ("Jabber") Chat Client using GTK+/Vala

embedding

hash-modulo-alpha

Quickly hashing all subexpressions of a program modulo alpha-renaming

lists

Collection of personal lists

metacoq

Metaprogramming in Coq

microui

Tiny immediate-mode UI library

mmark

Strict markdown processor for writers

ohrid19-agda

Material for the Agda course at the EUTYPES Summer School '19 in Ohrid

pandoc

Universal markup converter

parametricity-a-la-carte

mixing CoqEAL and univalent parametricity

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

scope

An agda2hs-compatible library for well-scoped syntax

tree-sitter-agda

Agda grammar for tree-sitter

tsunami

univalent_parametricity

Univalent Parametricity for Effective Transport

void-packages

The Void source packages collection

Waybar

Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada: