Tim Pierson (@o1lo01ol1o)
github

o1lo01ol1o

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    38
  • Global Rank 413,863 (Top 15 %)
  • Followers 24
  • Following 6
  • Registered over 10 years ago
  • Most used languages
    Haskell
         60.0 %
    Nix
         20.0 %
    HTML
         10.0 %
    C
         10.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 82,464
  • Country Ranking
    Nix
         404
    Haskell
         476

Top repositories

1

diffhask

DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.
Haskell
26
star
2

fdg-hsk

Partial implmentation of the code in Functional Differential Geometry
Haskell
2
star
3

MoltenVK-nix

nix expressions for building the MoltenVK library (and utilities)
Nix
2
star
4

nix-emacs-agda

a nix template for agda projects (with emacs overlay0
Nix
2
star
5

fauveal-subspace

HTML
1
star
6

formality-hs

Haskell
1
star
7

word2nion

See README for more info
Haskell
1
star
8

gltf-hs

See README for more info
Haskell
1
star
9

dear-imgui-reflex

See README for more info
Haskell
1
star
10

am-vcv

C
1
star