Naso Evangelou-Oost (@nasosev)
github

nasosev

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    19
  • Global Rank 645,436 (Top 23 %)
  • Followers 14
  • Following 79
  • Registered about 6 years ago
  • Most used languages
    F#
         40.0 %
    Isabelle     20.0 %
    Python
         20.0 %
    TypeScript
         20.0 %
  • Location 🇦🇺 Australia
  • Country Total Rank 9,158
  • Country Ranking
    Isabelle     5
    F#
         17
    TypeScript
         1,205
    Python
         5,071

Top repositories

1

faisceau

Cellular sheaves for F#
F#
6
star
2

hopf-fibration

Interactive demonstration of the Hopf fibration
TypeScript
5
star
3

topos-tool

Computational tool for tiny presheaf topoi
F#
3
star
4

voronoi-hex

Hex on a Voronoi board, using homology to determine game state
Python
2
star
5

cva

Concurrent Valuation Algebras (CVAs) formalised in Isabelle/HOL
Isabelle
2
star