micahhahn / FunctionalGeometryLinks
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
Sorting:
- a logic-based trust-management system☆19Updated 12 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- ☆23Updated 7 years ago
- Connecting vinyl records to the wider ecosystem through Generics☆12Updated 6 years ago
- Distributed systems execution emulation☆18Updated 6 years ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- Deep-embedded combinators for strategic rewriting.☆15Updated 3 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- QuadTree library for Haskell, using lenses.☆15Updated 7 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 10 months ago
- ☆23Updated 7 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Get all your structure and rip it apart.☆32Updated 6 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- A simple CRUD DSL example with an asynchronious interpreter written as Cofree☆31Updated 8 years ago
- An experimental native Haskell graph database☆61Updated 6 years ago
- Miscellaneous constructions on monoids☆21Updated 3 weeks ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- A categorical framework for circuit construction☆31Updated 8 years ago
- An efficient graph library for Haskell☆39Updated last week
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago