begriffs / algorithm-freezer
Know your algorithms cold!
☆29Updated 9 years ago
Alternatives and similar repositories for algorithm-freezer:
Users that are interested in algorithm-freezer are comparing it to the libraries listed below
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- A general build tool for haskell projects inspired by leiningen☆16Updated 9 years ago
- ☆23Updated 7 years ago
- Advent of Code 2016, in Haskell☆15Updated 7 years ago
- Rope data structure used by Yi☆20Updated 6 years ago
- Generic HTTP types for Haskell (for both client and server code)☆54Updated last year
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- A library for generating RSS 2.0 feeds.☆18Updated 8 months ago
- Poor Richard's Memory Manager☆15Updated 3 years ago
- Real World Haskell☆30Updated 12 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆60Updated last year
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Processing HTTP Content-Type and Accept headers☆14Updated 10 months ago
- Online version of GHCi that supports safely executing untrusted code.☆27Updated 9 years ago
- Delete half (minus ε) of your Haskell code!☆30Updated 2 months ago
- Hackage search engine☆56Updated 7 years ago
- Try Idris☆35Updated 9 years ago
- PostgreSQL support for the drifter schema migration tool☆12Updated 7 years ago
- A fast globally unique variable supply with a pure API☆16Updated last year
- A curated wishlist of Haskell libraries, packages, and tools☆16Updated 9 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- phantom types☆38Updated 2 months ago
- An implementation of the Core language☆30Updated 9 years ago
- Term Rewriting Systems☆17Updated 9 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated last week
- A book about large-scale design in Haskell☆75Updated 10 years ago