Naso Evangelou-Oost (@nasosev)
github

nasosev

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    19
  • Global Rank 661,842 (Top 23 %)
  • Followers 16
  • Following 84
  • Registered over 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,283
    Python
         4,714

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