begriffs / algorithm-freezer

Related projects ⓘ

Alternatives and complementary repositories for algorithm-freezer

• 23Skidoo / pointful
  Stand-alone command-line version of the pointful plugin for Lambdabot.
  ☆26Updated last year
• caneroj1 / hoogle-vscode
  Haskell Hoogle search in Visual Studio Code
  ☆13Updated 6 years ago
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated 2 months ago
• purcell / adventofcode2016
  Advent of Code 2016, in Haskell
  ☆15Updated 7 years ago
• ndmitchell / ghc-make
  An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.
  ☆40Updated 2 years ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 11 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆24Updated 4 months ago
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆27Updated 8 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 3 years ago
• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 9 years ago
• AshleyMoni / QuadTree
  QuadTree library for Haskell, using lenses.
  ☆15Updated 6 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated 3 months ago
• aristidb / http-types
  Generic HTTP types for Haskell (for both client and server code)
  ☆54Updated 11 months ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆73Updated 12 years ago
• puffnfresh / tryidris
  Try Idris
  ☆36Updated 9 years ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 6 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• laserpants / hashids-haskell
  Haskell port of the Hashids library.
  ☆24Updated 10 months ago
• mfine / nfl-divisions-power-rankings
  ☆15Updated 8 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• zmthy / http-media
  Processing HTTP Content-Type and Accept headers
  ☆14Updated 6 months ago
• bos / rwh
  Real World Haskell
  ☆29Updated 12 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• fpco / http-reverse-proxy
  Reverse proxy HTTP requests, either over raw sockets or with WAI
  ☆55Updated 4 months ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 5 months ago
• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆18Updated 6 years ago