micahhahn / FunctionalGeometry
A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
☆26Updated 8 years ago
Alternatives and similar repositories for FunctionalGeometry:
Users that are interested in FunctionalGeometry are comparing it to the libraries listed below
- ☆20Updated 6 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- ☆23Updated 7 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- Invertible parsing for S-expressions☆34Updated 3 weeks ago
- Simple reflection of expressions☆33Updated 3 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 8 months ago
- QuadTree library for Haskell, using lenses.☆15Updated 6 years ago
- A monad for managed values☆50Updated 2 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Get all your structure and rip it apart.☆31Updated 6 years ago
- Deep-embedded combinators for strategic rewriting.☆15Updated 3 years ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆33Updated 2 months ago
- Slides & demos for talks I do☆59Updated 4 years ago
- A simple CRUD DSL example with an asynchronious interpreter written as Cofree☆31Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Updated last year
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- ☆23Updated 7 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 10 months ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- An mtl-style typeclass and transformer for persistent☆11Updated 6 years ago
- A monad, perhaps.☆32Updated 5 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 3 weeks ago
- An efficient graph library for Haskell☆39Updated 8 months ago