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
- 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
- Keep your laziness in check!☆32Updated 2 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- ☆25Updated 4 years ago
- concurrent mutable ring buffers with atomic updates in GHC Haskell☆11Updated 4 years ago
- Existential type.☆36Updated last month
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- ☆45Updated 3 years ago
- Reification of data structures using observable sharing☆28Updated 3 months ago
- Haskell library for semigroup actions and torsors☆60Updated 11 months ago
- Deriving Storable instances using GHC.Generics☆16Updated 2 years ago
- Overloaded plugin☆30Updated 7 months ago
- An interface for GHC type-checking plugins☆20Updated 2 months ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated 2 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Automation for releasing haskell packages☆18Updated last year
- Hackager tool for releasing Haskell packages to Hackage☆30Updated 7 months ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆25Updated 2 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Kleene algebra, regular expressions☆32Updated last year
- Automatic type class law checking.☆24Updated 2 weeks ago
- Omit fields for instance deriving☆37Updated 4 years ago
- A GHC plugin and library for analysing GHC Core☆54Updated 2 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Updated 7 years ago
- Session Types with Priority in Linear Haskell☆25Updated 7 months ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆32Updated 2 years ago
- Diploma work (if this is still here contact me if you need details)☆13Updated 7 years ago