willtim / Atavachron
Fast, scalable and secure de-duplicating backup.
☆16Updated 5 years ago
Alternatives and similar repositories for Atavachron:
Users that are interested in Atavachron are comparing it to the libraries listed below
- A total recursion scheme library for Dhall☆66Updated 2 months ago
- Wailing into the primordial ooze of category theory☆55Updated last month
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A typed, persistent store for values of arbitrary types☆60Updated last month
- Tasty meal of Dhall☆66Updated last year
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- Can we write a querying language with Dhall? Let's find out!☆64Updated 6 years ago
- A recursion scheme library for Idris.☆24Updated 5 months ago
- An extension to Data.Serialize with built-in version control☆59Updated last month
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- ☆50Updated 5 months ago
- Dhall helpers for github actions☆54Updated last year
- Haskell types lined up to highlight their similarities☆31Updated 5 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- ☆40Updated 6 years ago
- Dual Traversable☆42Updated last year
- Le Fromage de Terreur - Auto-generated Terraform DSL☆63Updated 6 years ago
- Crazy experiment, ignore unless you know better☆37Updated 6 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Type-safe time units in Haskell☆49Updated 3 months ago
- Declare and access tuple fields with labels☆58Updated 6 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Declarative configuration spec for Haskell projects☆47Updated 5 years ago
- Retry combinators for monadic actions that may fail☆114Updated 2 years ago
- the EitherT monad transformer☆55Updated last month
- HoTT Note-taking action☆25Updated 6 years ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Content Addressable Storage Archive☆41Updated last year
- Lensy interface for parsing CSV's☆42Updated 4 years ago