Alternatives and similar repositories for BigPixel:

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

• soupi / chip-8
  A CHIP-8 Emulator written in Haskell
  ☆38Updated 7 years ago
• davean / waldo
  A small Haskell server for generating visual stories based on some ascertainable data about the requester.
  ☆57Updated 12 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 5 months ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 8 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 6 years ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• ivanperez-keera / SpaceInvaders
  A Haskell game written in Yampa
  ☆26Updated last year
• noteed / language-glsl
  Haskell package for representation, parsing, and pretty-printing of GLSL
  ☆31Updated last year
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 6 years ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆28Updated 5 months ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 6 months ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆45Updated 12 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 3 weeks ago
• serokell / foundry
  Morte IDE
  ☆29Updated last year
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• Chaddai / CurveProject
  Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)
  ☆20Updated 8 years ago
• lambdageek / freer-church
  Church-encoding of the Freer monad
  ☆28Updated 8 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• ekmett / streams
  Haskell 2010 stream comonads
  ☆22Updated 3 months ago
• meteficha / Hipmunk
  Haskell binding for Chipmunk, 2D physics engine.
  ☆22Updated 9 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆52Updated 2 months ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 9 years ago
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 12 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆25Updated 8 years ago