Edmund Smith (@edmundsmith)
github

edmundsmith

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    30
  • Global Rank 491,990 (Top 17 %)
  • Followers 12
  • Following 1
  • Registered about 8 years ago
  • Most used languages
    Rust
         50.0 %
    Idris     50.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 18,196
  • Country Ranking
    Idris     31
    Rust
         422

Top repositories

1

type-plugs

Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.
Rust
28
star
2

bfjit-idr

Brainfuck JIT/Compiler made with Idris
Idris
2
star