Tim Engler (@redfish64)
github

redfish64

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    221
  • Global Rank 113,923 (Top 4 %)
  • Followers 24
  • Following 2
  • Registered over 12 years ago
  • Most used languages
    Haskell
         33.3 %
    Idris     22.2 %
    HTML
         11.1 %
    C++
         11.1 %
    Perl
         11.1 %
    Java
         11.1 %
  • Location 🇹🇼 Taiwan
  • Country Total Rank 591
  • Country Ranking
    Idris     1
    Haskell
         15
    Perl
         18
    Java
         38
    HTML
         93
    C++
         774

Top repositories

1

TinyTravelTracker

Private Android GPS tracker
Java
133
star
2

paper_otp

One time pad message which can be decoded using only paper and a light source
HTML
42
star
3

bitcoin-tax-calculator

Helps calcuate capital gain/loss information for crypto currency trades
Perl
18
star
4

NomicCoin201710

A p2p network written in Idris and designed to be very similar to idris itself
Idris
5
star
5

nomiccoin

simple voting coin experiment
C++
3
star
6

MpvLangLearn

Plays mpv files with subtitles in a way to optimize for learning a foreign (human) language
Haskell
2
star
7

IrcScanner

Haskell
1
star
8

NC201712

Something to do with nomics and coins
Haskell
1
star
9

idris2_learn

some examples of various idris2 syntax
Idris
1
star