There are no reviews yet. Be the first to send feedback to the community and the maintainers!
idris-blink
A simple Idris program to blink the LED on an Arduinoplugins
Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.hyperdrive
A fast, low-level HTTP server you can trustidrOS
An OS written in Idris (eventually...)ase2css
Library and command-line app for parsing Adobe Swatch Exchange files and (optionally) creating a .css file with the valuesminecraft-data
library for creating minecraft levels and commandsisomaniac
deckofcards
How to model of Deck of Cards in Haskellnix-haskell-tutorial
A complete tutorial for developing and deploying Haskell web applications using Nix and Nixopsircbot
A simple haskell ircbot library. I have better ideas now, but this one is needed to support clckwrks-plugin-ircbot for now.snap-web-routes-demo
modify the default snap project to include a web-routehyperdrive-book
Let's implement a web server in Haskell!timeout
IO with timeoutsrelatable
a pure, strongly typed relational algebra librarysafe-length
Tired of accidentally calling length on tuples? Relief at last!acme-http
winning the PONG benchmark at all costsstackulator
A little calculator which combines RPN (reverse polish notation) style calculators with a LambdaPi dependent-type system.pipes-process
A pipes based interface to System.Processstripe-api-gen
Generate Haskell bindings to the stripe APIcabalsdist
cabal sdist wrapper for nixponyfolder
agda-blinkomatic
make virtual lights blink on and off using FRPstripe
Yet Another Stripe library for Haskellservant-demo
A fork of the standard servant tutorialstackulator-hs
Haskell version of stackulatorservant-isomaniac
Love Open Source and this site? Check out how you can help us