isovector / reasonablypolymorphic.comLinks
⏳ my math blog
☆29Updated last month
Alternatives and similar repositories for reasonablypolymorphic.com
Users that are interested in reasonablypolymorphic.com are comparing it to the libraries listed below
Sorting:
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- An efficient graph library for Haskell☆41Updated 5 months ago
- Lens interface for your filesystem☆22Updated 5 years ago
- Haskell project statistics and definition analysis☆15Updated 2 years ago
- Handling errors which occur deep inside lens-chains☆17Updated 6 years ago
- the dynabook but for haskell☆23Updated 6 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 5 months ago
- Agda-style equational reasoning in Haskell☆54Updated 3 weeks ago
- i bet you there is a typesystem behind music☆32Updated 7 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 5 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Updated 6 years ago
- Grocery shopping roguelike developed for the 7drl game jam☆24Updated 5 years ago
- easy 3d plotting in haskell☆28Updated 3 years ago
- Example web server to show how to use a bounded queue to asynchronously send emails☆12Updated 8 years ago
- Quickcheck Properties for common typeclasses☆35Updated last month
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Updated 8 years ago
- So, you want to write a DSL interpreter...☆25Updated 7 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 3 years ago
- ☆13Updated 5 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Verified left pad☆19Updated 7 years ago
- Statistical data visualization☆11Updated 9 years ago
- Show programming language printed values in a web UI☆24Updated 6 years ago
- ☆21Updated 3 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated last year
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- An experiment in functional interface design☆24Updated 9 years ago
- Classes for types where we know all the values☆39Updated last year
- An embedded probabilistic programming language.☆34Updated 8 years ago