Jonas HΓΆfer (@JonasHoefer)
github

JonasHoefer

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    28
  • Global Rank 517,529 (Top 18 %)
  • Followers 23
  • Following 29
  • Registered about 9 years ago
  • Most used languages
    Haskell
         42.9 %
    C++
         28.6 %
    Agda     14.3 %
    TeX
         14.3 %
  • Location πŸ‡ΈπŸ‡ͺ Sweden
  • Country Total Rank 5,352
  • Country Ranking
    Agda     10
    TeX
         45
    Haskell
         78
    C++
         769

Top repositories

1

scoped-effects-agda

An implementation of scoped algebraic effects and handlers in Agda.
TeX
11
star
2

poset-type-theory

Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
Haskell
7
star
3

hackathon

C++
4
star
4

agda-strong-normalization

A proof of strong normalization for the simply typed lambda calculus in Agda (without the K axiom).
Agda
2
star
5

compile_time_differentiation

A small C++ library for differentiating expressions at compile time.
C++
2
star
6

brainfuck-compiler

Haskell
1
star
7

minisec

A small parser combinator library.
Haskell
1
star