doublescale / rastermizerLinks
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
Sorting:
- ☆25Updated 4 years ago
- ☆23Updated last year
- experiments with pext/pdep and codebruijn syntax☆17Updated 5 years ago
- 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
- Reification of data structures using observable sharing☆29Updated 8 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 2 months ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Updated 3 years ago
- Continuously varying values, made easy :)☆42Updated 5 years ago
- high-resolution performance benchmarking☆26Updated 4 months ago
- Haskell library for semigroup actions and torsors☆62Updated 4 months ago
- Script to download all of Hackage☆15Updated 5 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- concurrent mutable ring buffers with atomic updates in GHC Haskell☆11Updated 4 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated this week
- ☆45Updated 3 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Updated last year
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Existential type.☆37Updated 6 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- A package re-exporting the verified subset of containers☆20Updated 7 years ago
- ICFP tutorial☆39Updated 3 years ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- ☆35Updated 9 months ago
- Overloaded plugin☆30Updated last year
- Simplify and render Template Haskell☆18Updated 6 years ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 3 months ago
- A GHC plugin and library for analysing GHC Core☆54Updated 4 months ago