silky / clone-allLinks
clone all the github repositories of a particular user.
☆19Updated 8 years ago
Alternatives and similar repositories for clone-all
Users that are interested in clone-all are comparing it to the libraries listed below
Sorting:
- Deep evaluation of data structures☆41Updated last month
- Generate and apply diffs between JSON documents.☆39Updated 2 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- Hackage search engine☆56Updated 7 years ago
- Rope data structure used by Yi☆20Updated 7 years ago
- Give Haskell development tools access to Cabal project environment.☆24Updated 4 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- fast utf-8 character sets☆13Updated 4 months ago
- List monad transformer☆60Updated last year
- A monad, perhaps.☆32Updated 5 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- Robust persistence for typed immutable data☆17Updated 8 years ago
- Slides and code examples for a talk☆22Updated 7 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- ghc --make reimplemented with Shake☆30Updated last year
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆18Updated 4 months ago
- More strongly typed variant of the ixset Haskell package☆25Updated 11 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- Types representing line and column positions and ranges in text files☆11Updated 2 years ago
- A natural transformation package☆16Updated 4 months ago
- the EitherT monad transformer☆55Updated last month
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 4 months ago
- it's a starcraft clone but with a dope typesystem☆49Updated 5 years ago
- An exploration and implementation of the lambda calculus.☆12Updated 8 years ago
- Protect against backwards-incompatible serializations☆23Updated 4 years ago
- Haskell routes using dependent types☆10Updated 8 years ago