sam46 / FuncMorph
Crazy figures and animations with Haskell
☆33Updated 5 years ago
Related projects: ⓘ
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 3 months ago
- An efficient graph library for Haskell☆39Updated last month
- ☆14Updated this week
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated last month
- Category theory concepts in type classes and instances.☆19Updated 2 weeks ago
- Haskell library for semigroup actions and torsors☆57Updated 7 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- the dynabook but for haskell☆23Updated 4 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Wave function collapse procedural generation for arbitrary graphs☆15Updated 4 years ago
- Monorepo for a multi-player game engine, and game examples☆42Updated 2 years ago
- Grow procedual art☆36Updated 2 months ago
- Simple reflection of expressions☆33Updated 3 years ago
- High level, generic library for interrogative user interfaces in Haskell☆42Updated 3 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆29Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 9 months ago
- 👁️ Isometric 3D Graphing / Rendering module for Haskell☆15Updated 7 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 3 months ago
- Tools for building 3D interactive programs in Haskell☆65Updated 5 months ago
- a language about nothing☆19Updated 5 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated last month
- Reification of data structures using observable sharing☆28Updated 4 months ago