Port of asciimoo/drawille to haskell.
☆27Aug 31, 2023Updated 2 years ago
Alternatives and similar repositories for haskell-drawille
Users that are interested in haskell-drawille are comparing it to the libraries listed below
Sorting:
- ☆30Jun 7, 2014Updated 11 years ago
- Monte Carlo tree search for the travelling salesman problem (MCTS for the TSP)☆12Jun 18, 2022Updated 3 years ago
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 5 years ago
- Learn You Some Algebras for Glorious Good!☆16Jan 1, 2015Updated 11 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 6 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- ☆27Jun 30, 2014Updated 11 years ago
- Experimental Nix build management stuff☆24May 21, 2012Updated 13 years ago
- A formal verification of Linear Temporal Logic in Coq☆23Feb 19, 2026Updated 2 weeks ago
- An in-memory key/value store with expiration support☆26Aug 1, 2023Updated 2 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- ☆21Oct 17, 2015Updated 10 years ago
- Category theory and algebra☆27Aug 4, 2016Updated 9 years ago
- Type-safe open unions in Haskell☆32Apr 20, 2018Updated 7 years ago
- User Interfaces for Programming Languages: The Compendium☆28Feb 14, 2021Updated 5 years ago
- ☆21Oct 23, 2016Updated 9 years ago
- ☆32Dec 24, 2021Updated 4 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 years ago
- A nice Haskell graphics API. There's always room for jello.☆41May 31, 2018Updated 7 years ago
- L-system generators and visualizers☆33Nov 1, 2021Updated 4 years ago
- theseus, functional programming language with fully reversible computation☆127Jun 3, 2019Updated 6 years ago
- C port of the Rust symbol demangler (rustc-demangle)☆45Oct 6, 2023Updated 2 years ago
- Transactional cache with configurable persistence☆45Apr 2, 2023Updated 2 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Nov 21, 2025Updated 3 months ago
- atttribute macro for running a flaky test multiple times☆34Jan 17, 2024Updated 2 years ago
- First-class type families☆91Nov 6, 2025Updated 4 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- Yeat another WASM benchmark (WASI) - http://wabench.com:8080☆11Jan 7, 2023Updated 3 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- 🪪 Software per l'utilizzo della Carta d'Identità Elettronica Italiana - Accesso ai servizi della PA, firma e verifica di documenti 🇮�…☆15Updated this week
- A small astrolabe suitable for laser cutting☆12May 23, 2024Updated last year
- python parser combinators (parsec) library☆11Oct 26, 2018Updated 7 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Experimental Nix implementation of Android `soong` modules☆10Oct 11, 2023Updated 2 years ago
- shorter shattered pd☆10Aug 30, 2025Updated 6 months ago
- A tiny event emitter in C☆18Nov 21, 2014Updated 11 years ago
- A tiny EDSL to write type-level-unit tests☆51Jan 21, 2019Updated 7 years ago
- "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)☆42Sep 3, 2015Updated 10 years ago