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
Sorting:
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Updated last year
- Agda-style equational reasoning in Haskell☆53Updated last month
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- An implementation of the Core language☆30Updated 9 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Diploma work (if this is still here contact me if you need details)☆13Updated 7 years ago
- Paper: The simple essence of automatic differentiation☆22Updated 6 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- phantom types☆38Updated 3 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 7 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Interactive-diagrams☆39Updated 10 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- ☆41Updated 7 years ago
- Matrix operations in 100% pure Haskell☆34Updated last year
- Haskell distributed parallel Haskell☆37Updated 7 years ago
- Prototype of a web based, database driven Haskell IDE☆17Updated 8 years ago
- it's a starcraft clone but with a dope typesystem☆49Updated 5 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 months ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago