Johannes Drever (@drever)
github

drever

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    43
  • Global Rank 378,138 (Top 14 %)
  • Followers 12
  • Following 12
  • Registered over 13 years ago
  • Most used languages
    Objective-C
         25.0 %
    PHP
         25.0 %
    Haskell
         25.0 %
    TeX
         25.0 %
  • Location ๐Ÿ‡ฉ๐Ÿ‡ช Germany
  • Country Total Rank 16,811
  • Country Ranking
    Haskell
         351
    Objective-C
         1,188
    TeX
         1,218
    PHP
         5,885

Top repositories

1

act-munich

Resource for the applied category theory Munich reading group
19
star
2

ct-consciousness

14
star
3

form-bakery

An invitation to Laws of Form
Haskell
3
star
4

web-vpi

An interactive implementation of the Haken-Kelso-Bunz model which runs in a web browser.
PHP
2
star
5

hotz-translation

Translation of the document "Eine Algebraisierung des Syntheseproblems von Schaltkreisen" by Gรผnter Hotz
TeX
2
star
6

BotBuster

Turing game with a purpose.
1
star
7

wiggle-it

A simulation of the Haken-Kelso-Bunz model in iOS.
Objective-C
1
star
8

reading-list

1
star