Ariel Kellison (@ak-2485)
github

ak-2485

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    7
  • Global Rank 1,193,538 (Top 42 %)
  • Followers 7
  • Following 1
  • Registered almost 8 years ago
  • Most used languages
    Coq     20.0 %
    OCaml
         20.0 %
    HTML
         20.0 %
    TeX
         20.0 %
    Python
         20.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 239,173
  • Country Ranking
    Coq     154
    OCaml
         622
    TeX
         6,113

Top repositories

1

BLAS_fp_error

Coq
2
star
2

NumFuzz

OCaml
2
star
3

ReturnMaps

Learning methods for the return maps of magnetic fields in toroidal confinement devices
Python
1
star
4

Kalman_Filter

TeX
1
star
5

ak-2485.github.io

HTML
1
star