pufferffish/idris2-http pufferffish/idris2-http

  • Stars
    star
    19
  • Rank 1,128,864 (Top 23 %)
  • Language Idris
  • License
    ISC License
  • Created over 2 years ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pufferffish/idris2-http
github

pufferffish

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

a http(s) client in idris

More 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

agda-symmetries

TeX
5
star
4

wad2-groupproject

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