begriffs / algorithm-freezerLinks
Know your algorithms cold!
☆29Updated 10 years ago
Alternatives and similar repositories for algorithm-freezer
Users that are interested in algorithm-freezer are comparing it to the libraries listed below
Sorting:
- A general build tool for haskell projects inspired by leiningen☆16Updated 10 years ago
- Hackage search engine☆56Updated 7 years ago
- PostgreSQL support for the drifter schema migration tool☆12Updated 8 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- ☆15Updated 8 years ago
- Generic HTTP types for Haskell (for both client and server code)☆54Updated 2 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Updated last year
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆47Updated 8 years ago
- ☆94Updated 9 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Updated 2 years ago
- ☆42Updated 10 years ago
- Haskell port of the Hashids library.☆24Updated 2 years ago
- A library for generating RSS 2.0 feeds.☆18Updated this week
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 10 years ago
- Transactional monadic actions on top of PostgreSQL.☆58Updated 3 years ago
- First class composable record labels for Haskell.☆68Updated 2 months ago
- An IRC analysis server.☆81Updated 7 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- What I Wish I Knew While Learning Nix☆34Updated 4 years ago
- Poor Richard's Memory Manager☆15Updated 4 years ago
- A docker container for compiling statically linked binaries written in Haskell☆27Updated 10 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Hasmin - A Haskell CSS Minifier☆57Updated 2 years ago
- SQL parser and type checker in Haskell☆111Updated 4 years ago
- a simple functional language for learners☆30Updated 9 years ago
- Ragged writings on all things☆15Updated 3 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Lenses and Traversals for Aeson, based on Microlens.☆14Updated last month
- Haskell implementation of MessagePack / msgpack.org☆16Updated 8 months ago