Manuel Bärenz

rhine. Haskell Functional Reactive Programming framework with type-level clocks

essence-of-live-coding. Universal Live Coding & Functional Reactive Programming Framework

essence-of-live-coding-tutorial. Tutorial for essence-of-live-coding

rhine-koans. Koans to learn rhine

has-transformers. This library `Has` transformers

sonnendemo. Demonstration app for rhine-gloss containing a little simulation of a solar panel, a wind turbine and a battery

changeset. Monoid action monad transformer, a generalisation of AccumT

dunai-bayes. Haskell

ex_type. A type checker for Elixir

enigmage. An image viewer with animations, written in python

rhine-tutorial. A short presentation and tutorial app for the FRP framework Rhine (https://github.com/turion/rhine)

time-domain. Haskell

pulse-simple. Haskell bindings to the simple PulseAudio API

agda-meetup-20200122. Agda

smalltest. Smallcheck in Rust

monad-schedule. Haskell

extensible-higher-kinded-datatypes. Extensible higher kinded datatypes in Haskell

hacknotts14. Haskell

orpheus-seminarkit-client. Python

ConnectedCobordisms. TeX

haskell-asteroids. Haskell

dunai. Functional Reactive Programming using Monadic Stream Functions (forked core library)

hasched. Haskell

enigmake. Dependency resolution

FappingBloomBird. Haskell

enigraph. A simple tree class, mainly for enigmage.

YampaIdea. Haskell

audiogame. Haskell