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.idrOS
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 libraryhackage-whatsnew
Diff a local cabal working directory against its latest counterpart on hackage and report any differencessafe-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