Popular repositories Loading

1. elm-architecture-tutorial-reflex elm-architecture-tutorial-reflex Public

   Elm architecture tutorial reworked in Haskell' Reflex library

   Haskell 15 6

2. idris-yampa idris-yampa Public

   Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types. WIP

   Idris 6 2

3. idris-sodium idris-sodium Public

   A simple Idris implementation of Sodium FRP library, following TypeScript port. WIP

   Idris 5

4. hackslash hackslash Public

   Haskell 5 1

5. racket-termios racket-termios Public

   Racket FFI to termios functions

   C 2 1

6. racket-serial racket-serial Public

   Racket serial port communication helpers, based on pyserial

   Racket 2