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
PythonExperiments
ClojureMeetup-2017-05-17
FinancialProduct
algorithms-clj
Algorithms implemented in ClojureElmTests
HaskellInterpreter
GeoHash
interval-training
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