Pinned Repositories
rudolph
A pure and functional router using classic FRP. Written in TypeScript.
turbine
Purely functional frontend framework for building web applications
au-dat-org-drills
Org-drills sigtet til Datalogi uddannelsen på Aarhus Universitet
BigScreenParty
An Open Source party game using smartphones as controllers and a big screen as display.
cerberus-rest
WIP
cubical-congruence
Congruence Closure Procedure in Cubical Agda
CubicalAgda-BatchedQueue
Cubical Agda case study: Okasaki's BatchedQueue
monkey-jump
Use the keyboard to navigate everywhere in Atom.
npm2.el
Emacs package with tools for working with Node Package Manager
turbine-notes
Take and organize notes - Turbine Example
limemloh's Repositories
limemloh/cubical-congruence
Congruence Closure Procedure in Cubical Agda
limemloh/BigScreenParty
An Open Source party game using smartphones as controllers and a big screen as display.
limemloh/monkey-jump
Use the keyboard to navigate everywhere in Atom.
limemloh/CubicalAgda-BatchedQueue
Cubical Agda case study: Okasaki's BatchedQueue
limemloh/turbine-notes
Take and organize notes - Turbine Example
limemloh/au-dat-org-drills
Org-drills sigtet til Datalogi uddannelsen på Aarhus Universitet
limemloh/cerberus-rest
WIP
limemloh/npm2.el
Emacs package with tools for working with Node Package Manager
limemloh/Au_ml19
Exercises for machine learning course at Aarhus University 2019
limemloh/cubical
An experimental library for Cubical Agda
limemloh/ergodox-firmware
firmware for the ergoDOX keyboard edited to work with dactyl
limemloh/grpc-web-generator
Docker container to generate grpc-web files from a proto file
limemloh/hareactive-websockets
Send and receive hareactive streams and behaviors through a websocket
limemloh/image2cpp
limemloh/maxima-calculus2
Maxima funktioner til løsning af eksamensopgaver i kurset Calculus 2 på Aarhus Universitet
limemloh/platformerjs
limemloh/qmk_firmware
keyboard controller firmware for Atmel AVR USB family
limemloh/turbine-angular
A wrapper around Turbine components to use in AngularJS
limemloh/turbinize
Convert your HTML to Turbine Dom Code
limemloh/vscode-search-provider
GNOME Search Provider for recent VS Code projects.