justjoheinz/idris-httpclient justjoheinz/idris-httpclient

  • Stars
    star
    10
  • Rank 1,802,564 (Top 36 %)
  • Language Idris
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
justjoheinz/idris-httpclient
github

justjoheinz

Reviews

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

Repository Details

A http client for Idris based on libcurl

More Repositories

1

beagleboneIO

A small library project to work with beaglebone input/output IO in C
Shell
39
star
2

STLDroid

A STL viewer for Android
Java
10
star
3

Bounce

Copy of the code found at http://playground.arduino.cc//Code/Bounce
Processing
4
star
4

oosetaskboard

A simple taskboard using GWT
Java
3
star
5

idris-optics

Idris
2
star
6

cupcake

Clone of the Makerbot Cupcake repository
2
star
7

controlcl

An GUI libraray for Common Lisp inspired by controlp5.
Common Lisp
2
star
8

6502

Ben Eater inspired 6052 microcomputer. Kicad files.
1
star
9

ledmatrix

An Arduino sketch to drive a 8x8 LED Matrix using to shift register and a darlington array
Arduino
1
star
10

idris.g8

A g8 template for idris projects
Scala
1
star
11

endstop

1
star
12

Projekte

1
star
13

cl-sdl2-hershey

Support for hershey fonts, sdl2 and COMMON LISP
Common Lisp
1
star