willtim / Atavachron
Fast, scalable and secure de-duplicating backup.
☆16Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Atavachron
- A total recursion scheme library for Dhall☆65Updated 2 months ago
- Haskell Webapps on AWS Lambda☆44Updated last year
- Wailing into the primordial ooze of category theory☆54Updated last month
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- Haskell implementation of C4 model, for specifying software architecture☆18Updated 2 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Declarative configuration spec for Haskell projects☆47Updated 5 years ago
- JSON decoding/encoding/manipulation library.☆94Updated 2 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 3 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Declare and access tuple fields with labels☆60Updated 5 years ago
- Can we write a querying language with Dhall? Let's find out!☆64Updated 6 years ago
- Tasty meal of Dhall☆66Updated last year
- An extension to Data.Serialize with built-in version control☆60Updated 5 months ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Predictable Haskell development environments with Cabal and Nix.☆65Updated 5 years ago
- ☆49Updated this week
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 5 years ago
- Run HLint as part of normal compilation☆47Updated 6 years ago
- refine properties for testing Haskell programs☆74Updated 9 months ago
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- Type-safe time units in Haskell☆49Updated 9 months ago
- ☆41Updated 6 years ago
- A recursion scheme library for Idris.☆24Updated 4 months ago
- haskell metrics☆31Updated 4 months ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- DEPRECATED: Haskell Library to deal with resource availability in a Calendar☆24Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago