mchakravarty / BigPixelLinks
Pixel art for games
☆139Updated 11 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
- Haskell bindings to GLUT☆60Updated 4 months ago
- A little Doom-like 2.5 game engine☆85Updated 10 years ago
- A package exposing a function for generating catamorphisms.☆29Updated 7 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated last year
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Updated 2 years ago
- Reification of data structures using observable sharing☆29Updated last year
- Simple lambda prover☆24Updated 10 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Morte IDE☆29Updated 8 months ago
- A simple interface for building .dot graph files.☆19Updated 4 years ago
- A small in-terminal dungeon crawler written in Haskell☆11Updated 7 years ago
- An implementation of Functional Reactive Programming☆41Updated 10 years ago
- Reading, writing and manipulating ".tar" archive files.☆42Updated 2 months ago
- Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Updated 9 years ago
- Jhc: Haskell Compiler☆39Updated 10 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- A small Haskell server for generating visual stories based on some ascertainable data about the requester.☆57Updated 13 years ago
- A typed logic programming language embedded in Haskell☆49Updated 12 years ago
- Derive editors for data types.☆28Updated 11 years ago
- xmonad in Coq☆46Updated 13 years ago
- A natural transformation package☆16Updated 9 months ago
- A MOBA written using Haskell, Yampa, and SDL☆27Updated 10 years ago
- Experiments in Idris / Unity integration.☆49Updated 9 years ago
- Haskell bindings to the libui C library.☆48Updated 7 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 2 weeks ago