Julian Gonggrijp (@jgonggrijp)
github

jgonggrijp

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    595
  • Global Rank 49,697 (Top 2 %)
  • Followers 77
  • Following 18
  • Registered over 12 years ago
  • Most used languages
    Haskell
         100.0 %
  • Location πŸ‡³πŸ‡± Netherlands
  • Country Total Rank 977
  • Country Ranking
    Haskell
         139

Top repositories

1

rich-typed-pointers

Smart pointers that rely on the type system
5
star
2

net-prove

Academic theorem prover based on proof nets, focused on LG, written in Haskell.
Haskell
3
star