Popular repositories Loading

1. pushbasedFRP pushbasedFRP Public

   TimeFlies: Push-Pull Signal-Function Functional Reactive Programming (Master's Thesis)

   Haskell 18 2

2. dom-gnats dom-gnats Public

   A binding to ghcjs-vdom for time-flies

   Haskell 7 2

3. Animas Animas Public

   a fork of the Yampa combinator library for FRP

   Haskell 6

4. mk-dependent-tc mk-dependent-tc Public

   Typechecker for a dependently typed LC in MiniKanren

   Scheme 3

5. nixos-urbit nixos-urbit Public

   Overlay and NixOS module for Urbit

   Nix 2

6. time-flies time-flies Public

   A push-pull signal-function FRP system in Haskell

   Haskell 1