mchakravarty / BigPixel

Related projects ⓘ

Alternatives and complementary repositories for BigPixel

• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆34Updated 3 weeks ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• soupi / chip-8
  A CHIP-8 Emulator written in Haskell
  ☆38Updated 7 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 6 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 3 weeks ago
• ecaustin / haskhol-core
  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
  ☆2Updated 8 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• ryanorendorff / lc-2017-fusion
  LambdaConf 2017 Fusion Presentation
  ☆10Updated 7 years ago
• sellout / haskerwaul
  Category theory concepts in type classes and instances.
  ☆20Updated last month
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆45Updated 3 months ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆22Updated 8 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 6 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• tathougies / react.hs
  Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/
  ☆14Updated 9 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆43Updated 12 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆62Updated 2 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 5 years ago
• deepakjois / hs-logo
  Logo turtle graphics interpreter in Haskell
  ☆19Updated 10 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
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• AshleyMoni / QuadTree
  QuadTree library for Haskell, using lenses.
  ☆15Updated 6 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 3 weeks ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 4 years ago