fpco / simple-file-mirror
A dumb tool to mirror changes in a directory between hosts
☆13Updated 8 years ago
Alternatives and similar repositories for simple-file-mirror:
Users that are interested in simple-file-mirror are comparing it to the libraries listed below
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated last year
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- Haskell Join-calculus DSL☆22Updated 6 years ago
- List monad transformer☆60Updated 11 months ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Haskell metrics library☆20Updated 7 years ago
- Slides and code examples for a talk☆22Updated 7 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- phantom types☆38Updated 2 months ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- ghc --make reimplemented with Shake☆30Updated last year
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- ☆23Updated 7 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- ☆31Updated 3 years ago
- A simple XML module for Idris.☆13Updated 4 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- ☆23Updated 7 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Updated 9 months ago