ajrouvoet

ternary.agda

An Agda library for programming with ternary relations

jvm.agda

Typed Compilation of Middleweight Java to a JVM Bytecode subset in Agda

implicits.agda

Mechanized formalization of Implicit resolution in Agda

thesis-artifact

Collection of the sources that support my PhD thesis

turing

A simple turing machine simulator in C.

ajrouvoet.github.io

chesshire.re

emacs.el

bumper.kt

A C frontend for the JVM, written in Kotlin.

agda-stdlib

The Agda standard library

apoML.kt

An industrial-strength calculator language with the flexibility of greek yoghurt

arx.hs

Haskell tool to help me manage my photo archive

audioman.md

A manual

exec-path-from-shell

Make Emacs use the $PATH set up by the user's shell

finite

hackaton

nixpkgs

Nix Packages collection

oh-my-zsh

oplss-scratchpad

parsec.kt

python-trsfile

Add support for reading and writing of trace set files (.trs) to Python

pythonchallenge.rust

www.pythonchallenge.com

react-redux

Official React bindings for Redux

redux-api-middleware

Redux middleware for calling an API.

spacemacs-config

stack

The Haskell Tool Stack

stdlib-plusplus.agda

unification.hs

Generic functions for single-sorted first-order structural unification

vim-config

zsh-config