Emil Holm Gjørup (@limemloh)
github

limemloh

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    38
  • Global Rank 411,630 (Top 15 %)
  • Followers 55
  • Following 6
  • Registered over 10 years ago
  • Most used languages
    TypeScript
         57.1 %
    Agda     28.6 %
    Emacs Lisp
         14.3 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 1,627
  • Country Ranking
    Agda     3
    Emacs Lisp
         53
    TypeScript
         162

Top repositories

1

cubical-congruence

Congruence Closure Procedure in Cubical Agda
Agda
16
star
2

BigScreenParty

An Open Source party game using smartphones as controllers and a big screen as display.
TypeScript
8
star
3

monkey-jump

Use the keyboard to navigate everywhere in Atom.
TypeScript
4
star
4

turbine-notes

Take and organize notes - Turbine Example
TypeScript
3
star
5

CubicalAgda-BatchedQueue

Cubical Agda case study: Okasaki's BatchedQueue
Agda
3
star
6

au-dat-org-drills

Org-drills sigtet til Datalogi uddannelsen på Aarhus Universitet
2
star
7

cerberus-rest

WIP
TypeScript
1
star
8

npm2.el

Emacs package with tools for working with Node Package Manager
Emacs Lisp
1
star