begriffs / algorithm-freezerLinks
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
Sorting:
- A general build tool for haskell projects inspired by leiningen☆16Updated 10 years ago
- A simple multithreaded chat server in haskell☆35Updated 6 years ago
- ☆15Updated 8 years ago
- A library for generating RSS 2.0 feeds.☆18Updated 3 months ago
- What I Wish I Knew While Learning Nix☆34Updated 3 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Updated last year
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- ☆94Updated 9 years ago
- Hackage search engine☆56Updated 7 years ago
- Experiments in Idris / Unity integration.☆49Updated 9 years ago
- Poor Richard's Memory Manager☆15Updated 4 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- An IRC analysis server.☆81Updated 7 years ago
- Generic HTTP types for Haskell (for both client and server code)☆54Updated 2 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 10 years ago
- ☆42Updated 10 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 10 years ago
- ncurses binding for Haskell☆62Updated 3 months ago
- Flexible session middleware for WAI☆15Updated 5 years ago
- Rope data structure used by Yi☆20Updated 7 years ago
- ☆23Updated 7 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆49Updated this week
- Totally functional programming literature☆60Updated 6 years ago
- First class composable record labels for Haskell.☆68Updated last month
- Type declarations for jQuery☆30Updated 5 years ago
- Haskell port of the Hashids library.☆24Updated last year
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago