Emil Holm Gjørup's repositories
cubical-congruence
Congruence Closure Procedure in Cubical Agda
BigScreenParty
An Open Source party game using smartphones as controllers and a big screen as display.
monkey-jump
Use the keyboard to navigate everywhere in Atom.
CubicalAgda-BatchedQueue
Cubical Agda case study: Okasaki's BatchedQueue
turbine-notes
Take and organize notes - Turbine Example
au-dat-org-drills
Org-drills sigtet til Datalogi uddannelsen på Aarhus Universitet
Au_ml19
Exercises for machine learning course at Aarhus University 2019
cubical
An experimental library for Cubical Agda
ergodox-firmware
firmware for the ergoDOX keyboard edited to work with dactyl
grpc-web-generator
Docker container to generate grpc-web files from a proto file
hareactive-websockets
Send and receive hareactive streams and behaviors through a websocket
maxima-calculus2
Maxima funktioner til løsning af eksamensopgaver i kurset Calculus 2 på Aarhus Universitet
qmk_firmware
keyboard controller firmware for Atmel AVR USB family
turbine-angular
A wrapper around Turbine components to use in AngularJS
vscode-search-provider
GNOME Search Provider for recent VS Code projects.