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
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 3 months ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- ☆23Updated 7 years ago
- A small Haskell server for generating visual stories based on some ascertainable data about the requester.☆57Updated 12 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- A little Doom-like 2.5 game engine☆82Updated 10 years ago
- Invertible parsing for S-expressions☆34Updated 5 months ago
- A Haskell game written in Yampa☆26Updated 11 months ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- NanoVG Haskell bindings☆22Updated last year
- ☆21Updated 9 years ago
- ☆23Updated 7 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- A natural transformation package☆16Updated 3 months ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Term Rewriting Systems☆17Updated 9 years ago
- ☆41Updated 7 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- A MOBA written using Haskell, Yampa, and SDL☆25Updated 9 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Monorepo for a multi-player game engine, and game examples☆42Updated 3 years ago
- Vector & affine spaces, linear maps, and derivatives☆47Updated 6 months ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- List monad transformer☆60Updated 9 months ago