Alternatives and similar repositories for book

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

• mchakravarty / BigPixel
  Pixel art for games
  ☆140Updated 10 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• sconybeare / mltt
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Updated 9 years ago
• emarzion / SystemT
  An interpreter for Gödel's System T
  ☆12Updated 8 years ago
• Michaelt293 / isotope
  Haskell library containing isotopic masses and relative abundances for elements from Hydrogen to Bismuth and Thorium and Uranium (excludi…
  ☆16Updated 5 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated last month
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• OlivierSohn / hamazed
  Monorepo for a multi-player game engine, and game examples
  ☆42Updated 3 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 7 months ago
• dpiponi / Stellarator
  An Atari VCS 2600 emulator written in Haskell
  ☆18Updated 3 years ago
• mstewartgallus / hs-callbypushvalue
  Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?
  ☆14Updated 4 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• clrnd / latexpad
  A LaTeX Scratchpad for sharing.
  ☆16Updated 6 years ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆48Updated last year
• bitc / omegagb
  Emulator for Nintendo Game Boy, written in Haskell, partially working
  ☆24Updated 13 years ago
• andrewthad / quickcheck-classes
  Quickcheck Properties for common typeclasses
  ☆35Updated 3 months ago
• VictorTaelin / absal-ex
  Absal ex
  ☆58Updated last year
• egonSchiele / actionkid
  A video game framework for haskell
  ☆50Updated 9 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• ggreif / dynamic-loader
  Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
  ☆24Updated 7 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month
• potomak / haskell-player
  A terminal music player based on afplay
  ☆41Updated 8 years ago
• bollu / simplexhc
  compiler with polyhedral optmization for a lazy functional programming language
  ☆68Updated 7 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 9 years ago
• csabahruska / demoscene
  Demoscene: Lambda Team
  ☆20Updated 6 years ago
• haskell-game / bgfx
  Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.
  ☆32Updated 9 years ago
• dmwit / pi-eta-epsilon
  An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
  ☆23Updated 13 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 7 years ago
• ptigwe / hs-flatris
  An implementation of Flatris using Haskell and Miso
  ☆32Updated 5 years ago