doublescale / rastermizer
View 3D models in the terminal
☆10Updated 5 years ago
Alternatives and similar repositories for rastermizer:
Users that are interested in rastermizer are comparing it to the libraries listed below
- ☆23Updated last year
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 4 months ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Haskell library for semigroup actions and torsors☆61Updated last month
- ☆25Updated 4 years ago
- Fine-grained lattice primitives for Haskell☆36Updated last month
- Tic Tac Toe, formalized in Agda☆23Updated 3 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 3 years ago
- Linear map categories in Agda☆5Updated last year
- NbE course @ Chalmers☆28Updated 6 months ago
- Generic functions for single-sorted first-order structural unification☆42Updated 3 weeks ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- GHC prof manipulation script☆32Updated last year
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆21Updated 6 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆17Updated 3 weeks ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Updated 3 years ago
- Example uses of linear types☆43Updated 4 years ago
- concurrent mutable ring buffers with atomic updates in GHC Haskell☆11Updated 4 years ago
- Overloaded plugin☆30Updated 9 months ago
- An efficient graph library for Haskell☆39Updated 7 months ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Updated 4 years ago
- Script to download all of Hackage☆15Updated 5 years ago
- Haskell port of the Nanopass Compiler Framework☆21Updated last year
- Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.☆11Updated 7 years ago
- experiments with pext/pdep and codebruijn syntax☆17Updated 5 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- ☆26Updated 2 months ago