Alternatives and similar repositories for wat-collection

Users that are interested in wat-collection are comparing it to the libraries listed below

• VerbalExpressions / HaskellVerbalExpressions
  ☆63Updated 6 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• fmthoma / vgrep
  A pager for grep
  ☆105Updated 3 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• roelvandijk / base-unicode-symbols
  Unicode alternatives for common functions and operators
  ☆36Updated 3 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆201Updated last year
• skaslev / why-types
  Why Types Matter
  ☆45Updated 8 years ago
• joelburget / haskell-loader
  A webpack loader for Haskell (!)
  ☆15Updated 10 years ago
• RaoulSchaffranek / Modelling-A-Purely-Functional-Subset-Of-ECMAScript-2015
  This is my Bachelor-Thesis. I showed how to derieve a purely functional programming language from an unrestricted language by example of …
  ☆42Updated 9 years ago
• fmthoma / ascii-art-to-unicode
  Small program to convert ASCII box art to Unicode box drawings.
  ☆60Updated 8 years ago
• rodrigosetti / master-plan
  Project Management for Hackers
  ☆135Updated 6 years ago
• sharkdp / parachuting-robots
  An interactive version of a classic puzzle
  ☆82Updated 7 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 8 years ago
• bodil / are-we-there-yet
  Slides for CUFP 2017 keynote
  ☆20Updated 7 years ago
• purescript-deprecated / purescript-dom
  Type definitions and standard effect for interacting with the DOM
  ☆41Updated 4 years ago
• openfisca / calculette-impots-m-source-code
  ATTENTION ce dépôt est un miroir
  ☆35Updated 9 years ago
• mikeizbicki / american-shit
  primary and secondary sources documenting America's misdeads
  ☆11Updated 9 years ago
• beeramtheman / 99haskell
  Live Haskell coding problems
  ☆39Updated 9 years ago
• fokot / howerpoint
  ☆72Updated 8 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• ucsd-progsys / liquidhaskell-blog
  LiquidHaskell blog
  ☆8Updated 2 years ago
• passy / giphy-api
  Giphy HTTP API Wrapper for Haskell
  ☆27Updated 5 years ago
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆187Updated 6 years ago
• keera-studios / keera-posture
  Alleviate your back pain using Haskell and a webcam
  ☆50Updated 4 years ago
• edwinb / idris-php
  Yes, really...
  ☆172Updated 7 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 8 years ago
• mikeplus64 / fun.sh
  Functional /bin/sh
  ☆170Updated 13 years ago
• docopt / docopt.hs
  A command-line interface description language and parser that will make you smile
  ☆120Updated 4 months ago
• facebookarchive / lex-pass
  manipulate a php codebase using haskell to transform the abstract-syntax-tree
  ☆182Updated 11 years ago
• haskell-infra / hl
  Haskell web site (old -- see new repo at https://github.com/haskell-infra/www.haskell.org)
  ☆158Updated 3 years ago