jake (@riz0id)
github

riz0id

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    20
  • Global Rank 640,821 (Top 23 %)
  • Followers 42
  • Following 41
  • Registered about 10 years ago
  • Most used languages
    Haskell
         77.8 %
    Fortran
         11.1 %
    Agda     11.1 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 112,595
  • Country Ranking
    Agda     58
    Haskell
         650
    Fortran
         1,050

Top repositories

1

opal-lang

Haskell
5
star
2

cycle-detection

extracting cycles as trees in linear time
Haskell
5
star
3

Zeno

Cauchy sequences and constructive real numbers in Agda.
Agda
2
star
4

2d-heat-equations

2d heat simulation
Haskell
2
star
5

algebras

Haskell
2
star
6

kmeans

Fortran implementation of the KMeans++ algorithm ready for use in f2py
Fortran
1
star
7

prim-bool

Package providing primitive operations on unboxed booleans.
Haskell
1
star
8

chemical-abstract-machine

Haskell
1
star
9

fused-effects-region

An implementation of monadic regions built on fused-effects.
Haskell
1
star