Dublin, Ireland

Oliver Nash

Advanced
@ocfnash

Deputy Director of Operations for Joint Systems Interdepartmental Operational Command

olivernash.org

Mining-Strava. Simple Python scripts to collect Strava data and plot the results

21

FM-Index. C++ implementation of FM Index data structure wrapped in Python

15

icosahedral_quintic. Demonstrating Klein's icosahedral solution of the quintic equation

9

LieClassification. Classification of Lie algebras in Lean

6

AIB_online_banking. Security theatre at Allied Irish Banks: a demonstration in python

5

imo-coq. International Mathematics Olympiad in Coq

5

lean-shannon-lovasz. A project to formalise a proof that the Shannon capacity of the 5-cycle is √5

3

poncelet. Interactive Poncelet Porism

2

visualising-imo-results. Visualising results from International Mathematical Olympiad

1

Closed-Fences. USACO 'Closed Fences' in Coq, Haskell, and C++

1
10
Apply