sam46 / FuncMorphLinks
Crazy figures and animations with Haskell
☆34Updated 6 years ago
Alternatives and similar repositories for FuncMorph
Users that are interested in FuncMorph are comparing it to the libraries listed below
Sorting:
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- Tools for building 3D interactive programs in Haskell☆71Updated this week
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- An efficient graph library for Haskell☆39Updated last month
- 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 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 8 months ago
- Haskell library for semigroup actions and torsors☆62Updated 5 months ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Invertible parsing for S-expressions☆34Updated 3 months ago
- Idris tactics for (commutative) monoids☆20Updated 5 years ago
- A convenience wrapper around the Gloss library to make writing games in Haskell even easier☆19Updated 4 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 2 months ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated last month
- ☆43Updated 6 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Zippers based on lenses and traversals☆40Updated last year
- Ties the knot on data structures that reference each other by unique keys☆47Updated 11 months ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 5 months ago
- A small profunctor library for idris☆17Updated 2 years ago
- it's a starcraft clone but with a dope typesystem☆49Updated 5 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- Recursion schemes for Idris☆65Updated 6 years ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆32Updated 3 years ago
- https://mitchellwrosen.github.io/haskell-papers☆22Updated 6 years ago
- Grow procedual art☆37Updated 3 months ago