mchakravarty / BigPixel
Pixel art for games
☆140Updated 10 years ago
Alternatives and similar repositories for BigPixel:
Users that are interested in BigPixel are comparing it to the libraries listed below
- A CHIP-8 Emulator written in Haskell☆38Updated 7 years ago
- A small Haskell server for generating visual stories based on some ascertainable data about the requester.☆57Updated 12 years ago
- A little Doom-like 2.5 game engine☆82Updated 10 years ago
- A natural transformation package☆16Updated last week
- TODO☆10Updated 9 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 9 years ago
- Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)☆20Updated 8 years ago
- Executable examples for Elerea.☆18Updated 8 years ago
- An implementation of Flatris using Haskell and Miso☆32Updated 5 years ago
- Agda-style equational reasoning in Haskell☆52Updated 2 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 4 months ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last week
- A Haskell game written in Yampa☆26Updated last year
- A MOBA written using Haskell, Yampa, and SDL☆25Updated 9 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- A typed logic programming language embedded in Haskell☆49Updated 12 years ago
- The LC3 virtual machine☆23Updated 3 months ago
- xmonad in Coq☆43Updated 12 years ago
- Term Rewriting Systems☆17Updated 9 years ago
- Lua parser and pretty-printer☆15Updated 10 months ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- A convenience wrapper around the Gloss library to make writing games in Haskell even easier☆19Updated 4 years ago