There are no reviews yet. Be the first to send feedback to the community and the maintainers!
IdrisPipes
A library for composable and effectful production, transformation and consumption of streams of data in IdrisIdrisReducers
Transducers for Idris: a library for composable algorithmic transformation.HaskellTrainReservationKata
tiny_rand
tictactoe
IdrisBowlingKata
A type safety challenge in Idris: encoding the rules of Bowling inside the type systemtriboard
Triboard gamequentinduval.github.io
MLIntro
HammerspoonExample
IdrisExperiments
Clocks
HaskellExperiments
TicTacToeDevoxx
AlgoHaskell
A collection of algorithms implemented in HaskellIdrisTrainReservationKata
HaskellMeetup-2017-04-27
PythonExperiments
ClojureMeetup-2017-05-17
FinancialProduct
algorithms-clj
Algorithms implemented in ClojureElmTests
HaskellInterpreter
GeoHash
SpringBootExperiments
CppLenses
ConcurrencyAccount
Haskell implementations of concurrent bank accountsTinyURL
Implementation of TinyURL with Zookeeper, Redis and PostgresLove Open Source and this site? Check out how you can help us