Nathan Fulton (@nrfulton)
github

nrfulton

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    12
  • Global Rank 874,315 (Top 31 %)
  • Followers 30
  • Following 21
  • Registered about 13 years ago
  • Most used languages
    Python
         75.0 %
    Scala
         25.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 151,664
  • Country Ranking
    Scala
         2,620

Top repositories

1

pittdoggos

Python script for Allegheny County Dog Registration Data
Python
4
star
2

kyxAsLibraryExample

How to use KeYmaera X as a library in a Scala code base.
Scala
2
star
3

bicycle_accidents

Bicycle accidents in Allegheny County, 2004 - 2017
Python
1
star
4

scuba-release

Formal verification of a SCUBA ascent protocol.
1
star
5

jsc

Python
1
star