mchakravarty / BigPixel

Related projects ⓘ

Alternatives and complementary repositories for BigPixel

• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆45Updated 3 months ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 2 weeks ago
• 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
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆34Updated 2 weeks ago
• sellout / haskerwaul
  Category theory concepts in type classes and instances.
  ☆19Updated 3 weeks ago
• GibsonDisaster / Vauxhall
  A small in-terminal dungeon crawler written in Haskell
  ☆11Updated 6 years ago
• OlivierSohn / hamazed
  Monorepo for a multi-player game engine, and game examples
  ☆42Updated 2 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• cobbpg / elerea-examples
  Executable examples for Elerea.
  ☆18Updated 8 years ago
• omelkonian / rewrite-inspector
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Updated 5 years ago
• NorfairKing / cursor
  Cursor data and manipulation
  ☆21Updated 11 months ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• giorgidze / set-monad
  Set monad
  ☆16Updated last year
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated 3 weeks ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 5 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆28Updated 2 weeks ago
• gallais / agdarky
  Agda suffices: software written from A to Z in Agda
  ☆15Updated 5 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• atzedijkstra / chr
  Constraint Handling Rules
  ☆15Updated last month
• mchakravarty / gloss-game
  A convenience wrapper around the Gloss library to make writing games in Haskell even easier
  ☆18Updated 4 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆18Updated 5 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆62Updated 2 years ago
• deech / LeftPad
  ☆23Updated 6 years ago