luqui / graphics-drawingcombinators
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
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Updated last year
- A small profunctor library for idris☆17Updated 2 years ago
- An implementation of the Core language☆30Updated 9 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- Open records for Haskell☆22Updated 7 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 7 years ago
- Concurrency for the pipes ecosystem☆44Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 3 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Yet another concurrent playground☆32Updated 9 years ago
- Compositional type checking for Haskell☆37Updated 13 years ago
- ☆10Updated 9 years ago
- it's a starcraft clone but with a dope typesystem☆49Updated 4 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Indexed Functors for GHC 7.6☆22Updated 5 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- Diploma work (if this is still here contact me if you need details)☆13Updated 7 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆14Updated 4 years ago
- Agda-style equational reasoning in Haskell☆52Updated 2 months ago
- Visualization of Haskell data structures☆15Updated last year
- Quiver stream processing library☆15Updated 8 years ago
- phantom types☆38Updated last month
- Some useful control operators for looping☆48Updated 5 years ago
- A fast globally unique variable supply with a pure API☆16Updated last year
- A general purpose programming language with linear types☆44Updated 8 years ago