Harold Vemeno (@HaroldVemeno)
github

HaroldVemeno

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    7
  • Global Rank 1,193,538 (Top 42 %)
  • Followers 6
  • Following 22
  • Registered almost 7 years ago
  • Most used languages
    Haskell
         40.0 %
    Agda     20.0 %
    Shell
         20.0 %
    Rust
         20.0 %
  • Location 🇨🇿 Czechia
  • Country Total Rank 3,822
  • Country Ranking
    Agda     3
    Haskell
         56
    Rust
         224
    Shell
         759

Top repositories

1

rustlambda

A parser and reducer for lambda calculus written in rust
Rust
1
star
2

json2

a haskell project with some json parsers
Haskell
1
star
3

agda-stuff

agda stuff
Agda
1
star
4

dotfiles

Shell
1
star
5

lambda

Haskell
1
star
6

HaroldVemeno

Config files for my GitHub profile.
1
star