uwap/idris-http uwap/idris-http

  • Stars
    star
    40
  • Rank 678,373 (Top 14 %)
  • Language Idris
  • License
    BSD 2-Clause "Sim...
  • Created about 9 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
uwap/idris-http
github

uwap

Reviews

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

Repository Details

An HTTP library for idris

More Repositories

1

mqtt-control-map

Highly configurable MQTT map interface
JavaScript
6
star
2

LEDBlink

A web interface for controlling a WS2812B LED Strip
Haskell
1
star
3

unitr

A unit conversion library for rust
Rust
1
star
4

Grafs

Generic Registering and Form Service
Haskell
1
star