fpco / simple-file-mirrorLinks
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
Sorting:
- Hackage search engine☆56Updated 7 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 9 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- Haskell Join-calculus DSL☆23Updated 6 years ago
- Small random demonstrations of code☆12Updated 5 years ago
- Simple printing with Text☆10Updated 8 years ago
- Haskell types and parsers for software version numbers.☆20Updated 3 weeks ago
- A high level file watcher DSL☆41Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Model-view-controller☆64Updated 2 years ago
- ☆15Updated 8 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Dynamic network FRP with events and continuous values☆52Updated 5 years ago
- ♾️ Sized list☆46Updated last year
- The Haskell File System: A file system implementation in Haskell☆38Updated 10 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 7 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- ☆31Updated 3 years ago
- Describe Haskell code in GHCi☆72Updated 8 years ago
- A port of QuickCheck to Idris☆60Updated 7 years ago
- ☆33Updated 9 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 8 years ago
- A typed, persistent store for values of arbitrary types☆61Updated 5 months ago
- Translate Pascal into Haskell☆51Updated 6 years ago