Markus Klink's repositories
atom-language-idris
A Idris Mode for Atom.io
cl-async
Asynchronous IO library for Common Lisp.
mouse
A small companion to cats
freestyle
A cohesive & pragmatic framework of FP centric Scala libraries
Idris-dev
A Dependently Typed Functional Programming Language
flux-helm-test
A repository with test data for flux-helm integration
sb-docs
An unofficial collection of API references of Steel Bank Common Lisp
http4s
A minimal, idiomatic Scala interface for HTTP services.
YCombinator
Excercises from riddle book "To mock a Mockingbird"
tensorflow-idris
dependent types meets deep learning
FarRP
An arrowized FRP library for Idris with static safety guarantees.
scala-logging
Convenient and performant logging library for Scala wrapping SLF4J.
kittens
Automatic type class derivation for Cats
sly-repl-ansi-color
ansi-color support for the sly-mrepl
eurorack
PCBs and libraries for modular synthesizer DIY
idris-posix
System POSIX bindings for Idris.
idrisjs
Js libraries for idris
scala-csv
CSV Reader/Writer for Scala
macwire
Lightweight and Nonintrusive Scala Dependency Injection Library
jsonhomeclient
Scala client to consume JSON home documents
IdrisScript
FFI Bindings to interact with the unsafe world of JavaScript
scalaz
An extension to the core Scala library for functional programming.
sbtflaky
Execute test with sbt repeatedly and get a log of failed tests