yamadapc / haskell-drawilleLinks
Port of asciimoo/drawille to haskell.
☆26Updated 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:
- ☆41Updated 8 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 8 months ago
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- Describe Haskell code in GHCi☆72Updated 8 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- A reversible language☆22Updated 6 years ago
- Haskell library for simple, concise and fast generic operations.☆82Updated last year
- Haskell tool to generate expressions from types☆101Updated 8 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- ALGT 2.0☆30Updated 5 years ago
- git protocol and storage in pure haskell☆66Updated 3 years ago
- A useful type for working with integers modulo some constant.☆30Updated 2 years ago
- GHC language extensions table☆49Updated 3 weeks ago
- a simple functional language for learners☆30Updated 8 years ago
- List monad transformer☆60Updated last year
- UI experiments for coda☆66Updated 3 years ago
- 2D physics and rendering for apecs☆45Updated 6 years ago
- Compiler for the Rum language☆26Updated 5 years ago
- A syntax for unions of constraints in Haskell☆70Updated 8 years ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- Generate standalone haddock documentation for a set of packages☆28Updated 5 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆59Updated 2 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- ☆76Updated last month