mchakravarty / BigPixelLinks
Pixel art for games
☆139Updated 10 years ago
Alternatives and similar repositories for BigPixel
Users that are interested in BigPixel are comparing it to the libraries listed below
Sorting:
- A CHIP-8 Emulator written in Haskell☆37Updated 8 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Haskell bindings to GLUT☆60Updated 3 months ago
- Simple lambda prover☆24Updated 10 years ago
- A little Doom-like 2.5 game engine☆85Updated 10 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- Examples from Introduction to Programming in ATS☆26Updated 11 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- A tiny scheme interpreter in Haskell☆24Updated 6 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Jhc: Haskell Compiler☆39Updated 10 years ago
- Morte IDE☆29Updated 7 months ago
- Reification of data structures using observable sharing☆29Updated last year
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- A MOBA written using Haskell, Yampa, and SDL☆27Updated 10 years ago
- A Haskell game written in Yampa☆28Updated last year
- The LC3 virtual machine☆24Updated 11 months ago
- Experiments in Idris / Unity integration.☆49Updated 9 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- xmonad in Coq☆46Updated 13 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Haskell bindings to the libui C library.☆48Updated 7 years ago
- Haskell clone of a certain game☆93Updated 11 years ago
- A simple XML module for Idris.☆13Updated 5 years ago
- Quake 3 map viewer in Haskell using LambdaCube 3D☆69Updated 2 years ago
- Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Updated 9 years ago