pufferfish (@pufferffish)
github

pufferffish

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    20
  • Global Rank 623,862 (Top 22 %)
  • Followers 34
  • Following 7
  • Registered over 3 years ago
  • Most used languages
    Idris     40.0 %
    TeX
         20.0 %
    HTML
         20.0 %
    Go
         20.0 %

Top repositories

1

wireproxy

Wireguard client that exposes itself as a socks5 proxy
Go
1,978
star
2

idris2-tls

A portable idris2 implementation of TLS
Idris
27
star
3

idris2-http

a http(s) client in idris
Idris
19
star
4

agda-symmetries

TeX
5
star
5

wad2-groupproject

WAD2 Group Project by Lab Group 10 Team A
HTML
3
star