Jan Bracker (@jbracker)
github

jbracker

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    36
  • Global Rank 428,905 (Top 15 %)
  • Followers 23
  • Following 15
  • Registered about 12 years ago
  • Most used languages
    Haskell
         66.7 %
    Agda     33.3 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 18,620
  • Country Ranking
    Agda     6
    Haskell
         100

Top repositories

1

supermonad

A plugin for GHC to support super monads.
Haskell
24
star
2

polymonad-proofs

Agda proofs about polymonads
Agda
8
star
3

diagrams-sunroof

A Diagrams backend using Sunroof to render using the HTML5 Canvas element.
Haskell
3
star