Oliver Nash (@ocfnash)
github

ocfnash

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    56
  • Global Rank 315,006 (Top 11 %)
  • Followers 27
  • Following 7
  • Registered over 10 years ago
  • Most used languages
    Python
         33.3 %
    JavaScript
         22.2 %
    Coq     22.2 %
    Lean     11.1 %
    C++
         11.1 %
  • Location 🇮🇪 Ireland
  • Country Total Rank 700
  • Country Ranking
    Lean     1
    Coq     2
    C++
         89
    Python
         161
    JavaScript
         860

Top repositories

1

Mining-Strava

Simple Python scripts to collect Strava data and plot the results
Python
20
star
2

FM-Index

C++ implementation of FM Index data structure wrapped in Python
C++
13
star
3

icosahedral_quintic

Demonstrating Klein's icosahedral solution of the quintic equation
Python
8
star
4

AIB_online_banking

Security theatre at Allied Irish Banks: a demonstration in python
Python
5
star
5

imo-coq

International Mathematics Olympiad in Coq
Coq
4
star
6

lean-shannon-lovasz

A project to formalise a proof that the Shannon capacity of the 5-cycle is √5
Lean
3
star
7

Closed-Fences

USACO 'Closed Fences' in Coq, Haskell, and C++
Coq
1
star
8

visualising-imo-results

Visualising results from International Mathematical Olympiad
JavaScript
1
star
9

poncelet

Interactive Poncelet Porism
JavaScript
1
star