silky / clone-all
clone all the github repositories of a particular user.
☆19Updated 7 years ago
Alternatives and similar repositories for clone-all:
Users that are interested in clone-all are comparing it to the libraries listed below
- Generate and apply diffs between JSON documents.☆39Updated 2 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- A natural transformation package☆16Updated 2 months ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Protect against backwards-incompatible serializations☆23Updated 3 years ago
- Robust persistence for typed immutable data☆17Updated 8 years ago
- ☆23Updated 7 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- A faster date and time library based on time☆46Updated this week
- Types representing line and column positions and ranges in text files☆11Updated last year
- phantom types☆38Updated last month
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- lazy promises☆27Updated 4 years ago
- Make presentations for data types☆25Updated 3 years ago
- An attempt to formalize unix cat in fiat☆12Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Dependently typed Algorithm M and friends☆25Updated 6 years ago
- Manage Nix Haskell override sets☆11Updated 6 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- A library for generating RSS 2.0 feeds.☆18Updated 6 months ago
- Content for the stackage.org site☆10Updated last month
- Haskell library to interface with the nix package manager☆25Updated 3 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- Fast serialization in haskell☆15Updated 4 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 5 months ago
- ☆39Updated 7 years ago