David Garland (@davidgarland)
github

davidgarland

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    54
  • Global Rank 323,221 (Top 12 %)
  • Followers 42
  • Following 75
  • Registered almost 10 years ago
  • Most used languages
    Lean     20.0 %
    Nim
         20.0 %
    C
         20.0 %
    Shell
         20.0 %
    Haskell
         20.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 64,650
  • Country Ranking
    Lean     109
    Nim
         181
    Haskell
         1,484

Top repositories

1

nim-hats

An efficient implementation of preloading size-doubling hashed array trees.
Nim
4
star
2

named-binary-tag

NBT (named binary tag) serialization and deserialization
Haskell
3
star
3

c-polymorphism

How to do polymorphism in C efficiently
C
2
star
4

dgkiss

My own GKISS repository, for whatever packages I happen to need.
Shell
1
star
5

lean-profunctors

A port of profunctors from Haskell to Lean 4.
Lean
1
star