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
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 3 weeks ago
- ☆23Updated last year
- ☆25Updated 4 years ago
- Game NetCode Solved☆24Updated 4 years ago
- NbE course @ Chalmers☆28Updated 7 months 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
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- Session Types with Priority in Linear Haskell☆26Updated 10 months ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- ICFP tutorial☆39Updated 3 years ago
- A library for doing generic programming in Agda☆31Updated 4 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- ☆12Updated 4 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Linear map categories in Agda☆5Updated last year
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Reification of data structures using observable sharing☆29Updated 5 months ago
- Austin's supercompiler work☆21Updated 5 years ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- Haskell library for semigroup actions and torsors☆61Updated 2 months ago
- Script to download all of Hackage☆15Updated 5 years ago
- concurrent mutable ring buffers with atomic updates in GHC Haskell☆11Updated 4 years ago
- A package dealing with Kepler orbits.☆11Updated 2 years ago
- Keep your laziness in check!☆33Updated 2 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- ☆21Updated this week
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- Continuously varying values, made easy :)☆41Updated 5 years ago