TristanCacqueray / demo-render
Digital art
☆10Updated 4 years ago
Alternatives and similar repositories for demo-render:
Users that are interested in demo-render are comparing it to the libraries listed below
- Zippers for cofree types☆12Updated 3 years ago
- ☆10Updated last year
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Generate fake recursion schemes☆12Updated 4 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
- Types for ldtk☆15Updated last year
- Linear map categories in Agda☆5Updated 2 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated last month
- A Haskell libary for generating low-level sounds with high-level combinators.☆15Updated 6 months ago
- A curated list of awesome Haskell tutorial modules☆12Updated 3 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated last month
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆10Updated 11 months ago
- Flexible Haskell library for parsing and printing S-Expressions☆20Updated 5 months ago
- lazy generators with observation☆14Updated last year
- A plugin for circuit notation☆11Updated 4 months ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 8 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Read and write images as massiv arrays☆13Updated 3 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 4 months ago
- Hspec expectations on JSON Values☆11Updated last week
- Funny little Haskell impl☆18Updated 4 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Updated last year
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆14Updated 7 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- A monadic interface for DAG construction.☆24Updated 3 years ago
- A truly tiny monadic parsing library☆28Updated 4 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Dependent hash maps☆14Updated 3 weeks ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- A Haskell implementation of a very compact representation of a placeholder for an image. https://blurha.sh☆12Updated 2 years ago