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:
- a language about nothing☆19Updated 5 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- An efficient graph library for Haskell☆39Updated last month
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- 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
- Haskell library for doing category theory with a central role for profunctors☆21Updated last week
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- A natural transformation package☆16Updated 3 months ago
- First Class Record Fields in Haskell☆17Updated 3 weeks ago
- Formally verified JSON parser☆15Updated 7 years ago
- My personal web site☆17Updated 3 months ago
- Haskell library for semigroup actions and torsors☆62Updated 4 months ago
- It's Data.Graph, but it doesn't suck!☆16Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 8 months ago
- 🍠 A functional 2D game engine that can create emoji games.☆50Updated 2 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 5 months ago
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- Efficient parser combinators for Haskell☆39Updated 3 weeks ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- Classes for types where we know all the values☆39Updated 5 months ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 7 years ago
- Strategy game in Haskell (PRs: )☆51Updated 5 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Universal Live Coding & Functional Reactive Programming Framework☆66Updated 3 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- GRIN backend for Idris☆50Updated 5 years ago