luqui / graphics-drawingcombinatorsLinks
Combinators for drawing 2D shapes and images in Haskell (using OpenGL)
☆32Updated 7 years ago
Alternatives and similar repositories for graphics-drawingcombinators
Users that are interested in graphics-drawingcombinators are comparing it to the libraries listed below
Sorting:
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Updated 2 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- it's a starcraft clone but with a dope typesystem☆51Updated 5 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Updated 7 years ago
- An implementation of the Core language☆30Updated 10 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- Agda-style equational reasoning in Haskell☆54Updated 6 months ago
- An implementation of miniKanren in Haskell☆78Updated 12 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 4 months ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 5 months ago
- Brent's PhD thesis.☆69Updated 9 years ago
- ☆110Updated 3 months ago
- compile your own functional language☆36Updated 6 years ago
- Reification of data structures using observable sharing☆29Updated 11 months ago
- ☆41Updated 8 years ago
- Free Monads and useful constructions to work with them☆26Updated 7 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 13 years ago
- Continuously varying values, made easy :)☆42Updated 5 years ago
- Haskell bindings to GLUT☆60Updated 2 months ago
- A GHC type checker plugin for row types☆39Updated 8 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 7 years ago
- Elaborate and expressive S-Expression library for Haskell☆63Updated last year
- phantom types☆38Updated last week