Alternatives and similar repositories for book:

Users that are interested in book are comparing it to the libraries listed below

• bitc / omegagb
  Emulator for Nintendo Game Boy, written in Haskell, partially working
  ☆24Updated 13 years ago
• gelisam / ludum-dare-31
  The theme for LD31 was "Entire Game on One Screen"
  ☆29Updated 8 years ago
• emarzion / SystemT
  An interpreter for Gödel's System T
  ☆12Updated 7 years ago
• mchakravarty / BigPixel
  Pixel art for games
  ☆140Updated 10 years ago
• archive567 / tower
  Deprecated in favour of https://github.com/tonyday567/numhask
  ☆14Updated 7 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• cfredric / NumberTheory
  A Haskell number theory library.
  ☆14Updated 7 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 9 years ago
• csabahruska / demoscene
  Demoscene: Lambda Team
  ☆20Updated 5 years ago
• sconybeare / mltt
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Updated 8 years ago
• dgavedissian / programmer-hero
  HackCambridge 2016, 2nd place in Games and VR - A Guitar Hero clone, written in Haskell
  ☆21Updated 9 years ago
• ggreif / dynamic-loader
  Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
  ☆24Updated 6 years ago
• cocreature / nanovg-hs
  NanoVG Haskell bindings
  ☆22Updated last year
• mstewartgallus / hs-callbypushvalue
  Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?
  ☆14Updated 4 years ago
• Chaddai / CurveProject
  Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)
  ☆20Updated 8 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆47Updated 5 months ago
• pigworker / CS410-13
  being the notes and materials for CS410 in the 2013/14 academic session
  ☆28Updated 10 years ago
• Toxaris / pts
  Interpreter for functional pure type systems.
  ☆21Updated 7 years ago
• sseefried / docker-epidemic-build-env
  A Dockerfile to build a development environment for Android version of Epidemic.
  ☆30Updated 8 years ago
• haskell-hvr / uhttpc
  `uhttpc` - µHTTP client library
  ☆27Updated 5 years ago
• technicalguy / acs-category-theory-notes-2017
  Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
  ☆14Updated 7 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆19Updated 9 years ago
• clrnd / latexpad
  A LaTeX Scratchpad for sharing.
  ☆16Updated 6 years ago
• OlivierSohn / hamazed
  Monorepo for a multi-player game engine, and game examples
  ☆42Updated 2 years ago
• wenkokke / msla2014
  wherein I implement several substructural logics in Agda
  ☆24Updated 6 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• orca-lang / orca
  Type theory + whales and syntax
  ☆11Updated 5 years ago
• potomak / haskell-player
  A terminal music player based on afplay
  ☆38Updated 7 years ago
• abhin4v / link
  A simple multithreaded chat server in haskell
  ☆35Updated 5 years ago