Felix Cherubini (@felixwellen)
github

felixwellen

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    129
  • Global Rank 172,474 (Top 6 %)
  • Followers 54
  • Following 4
  • Registered about 8 years ago
  • Most used languages
    TeX
         40.0 %
    F#
         20.0 %
    OCaml
         20.0 %
    Agda     20.0 %
  • Location ๐Ÿ‡ธ๐Ÿ‡ช Sweden
  • Country Total Rank 1,833
  • Country Ranking
    Agda     3
    TeX
         12
    OCaml
         21
    F#
         50

Top repositories

1

DCHoTT-Agda

Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
Agda
51
star
2

synthetic-zariski

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
TeX
51
star
3

synthetic-geometry

Synthetic geometry. Probably mostly algebraic geometry.
22
star
4

FastFluidDynamics

OCaml
3
star
5

HoTT-Vorlesung

Materialien zur Vorlesung Homotopietypentheorie, Sommersemester 2021, Universitรคt Augsburg
TeX
3
star
6

ExactArithmetic

Calculate without loss of precision
F#
1
star