micahhahn / FunctionalGeometry
A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
☆26Updated 7 years ago
Alternatives and similar repositories for FunctionalGeometry:
Users that are interested in FunctionalGeometry are comparing it to the libraries listed below
- Fast, hash-based, immutable collections.☆25Updated 10 months ago
- ☆20Updated 5 years ago
- ☆23Updated 7 years ago
- Invertible parsing for S-expressions☆33Updated 4 months ago
- ☆23Updated 7 years ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- Transactional cache with configurable persistence☆47Updated last year
- An approach to user interfaces based in denotational design.☆26Updated 2 years ago
- Lensy interface for parsing CSV's☆42Updated 4 years ago
- Get all your structure and rip it apart.☆30Updated 6 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Accessing Postgres in a data frame in Haskell☆24Updated last year
- Distributed systems execution emulation☆18Updated 6 years ago
- QuadTree library for Haskell, using lenses.☆15Updated 6 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- [ABANDONED] An attempt to port the concur library to PureScript.☆20Updated 6 years ago
- Connecting vinyl records to the wider ecosystem through Generics☆12Updated 5 years ago
- ☆18Updated 3 weeks ago
- A small profunctor library for idris☆17Updated 2 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 5 years ago
- phantom types☆38Updated last month
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Updated last year
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 8 months ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Deep-embedded combinators for strategic rewriting.☆15Updated 3 years ago