Daniel Oliveira (@drdo)
github

drdo

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    56
  • Global Rank 315,006 (Top 11 %)
  • Followers 9
  • Following 11
  • Registered about 14 years ago
  • Most used languages
    Haskell
         66.7 %
    Rust
         16.7 %
    Common Lisp
         16.7 %
  • Location πŸ‡΅πŸ‡Ή Portugal
  • Country Total Rank 2,338
  • Country Ranking
    Common Lisp
         9
    Haskell
         13
    Rust
         29

Top repositories

1

redu

ncdu for your restic repository
Rust
34
star
2

logic-translation

Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
Haskell
10
star
3

do-urlencode

Percent Encoding (aka URL Encoding) library
Common Lisp
9
star
4

swarm-dht

BitTorrent Mainline DHT Library
Haskell
1
star
5

swarm-common

Haskell
1
star
6

swarm-bencode

A BEncode parsing and enconding library
Haskell
1
star