MosesBostock11's starred repositories
idris2-http
a http(s) client in idris
idris2-tls
A portable idris2 implementation of TLS
wad2-groupproject
WAD2 Group Project by Lab Group 10 Team A
SpaceX
Mars, Solar System
a http(s) client in idris
A portable idris2 implementation of TLS
WAD2 Group Project by Lab Group 10 Team A