cole (@cole-k)
github

cole-k

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    69
  • Global Rank 271,735 (Top 10 %)
  • Followers 44
  • Following 11
  • Registered over 8 years ago
  • Most used languages
    TeX
         33.3 %
    Rust
         16.7 %
    Processing     16.7 %
    Haskell
         16.7 %
    C++
         16.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 63,906
  • Country Ranking
    Processing     375
    Haskell
         513
    TeX
         963
    Rust
         3,341

Top repositories

1

call-by-push-block

β›³ Sokoban game in 10 lines of Haskell
Haskell
27
star
2

turksort

πŸ‘₯ Sorting powered by human intelligence
TeX
13
star
3

cc-lemma

Refreshing automation for inductive equational proofs using e-graphs
Rust
12
star
4

osu-kb

⌨️ 2-key osu! keyboard for ATtiny85
C++
10
star
5

Penrose-Tiling

Penrose Tiling Generator
Processing
4
star
6

syntax-cls

Classfile for writing syntax papers (and general linguistic papers)
TeX
1
star