Alternatives and similar repositories for BigPixel

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

• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• ivanperez-keera / SpaceInvaders
  A Haskell game written in Yampa
  ☆27Updated last year
• davean / waldo
  A small Haskell server for generating visual stories based on some ascertainable data about the requester.
  ☆57Updated 12 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 6 months ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 4 years ago
• soupi / chip-8
  A CHIP-8 Emulator written in Haskell
  ☆37Updated 7 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 2 months ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 7 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• ptigwe / hs-flatris
  An implementation of Flatris using Haskell and Miso
  ☆32Updated 5 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated last month
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• gallais / agdarky
  Agda suffices: software written from A to Z in Agda
  ☆15Updated 6 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 9 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• Toxaris / pts
  Interpreter for functional pure type systems.
  ☆21Updated 7 years ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆29Updated 6 months ago
• cocreature / nanovg-hs
  NanoVG Haskell bindings
  ☆22Updated last year
• mchakravarty / gloss-game
  A convenience wrapper around the Gloss library to make writing games in Haskell even easier
  ☆19Updated 4 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 4 months ago
• benjaminselfridge / propcheck
  Proof checker for propositional logic
  ☆16Updated 7 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 4 months ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 6 years ago
• ambuc / cornea
  👁️ Isometric 3D Graphing / Rendering module for Haskell
  ☆15Updated 7 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 7 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago