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:
- Agda-style equational reasoning in Haskell☆54Updated 3 weeks ago
- So, you want to write a DSL interpreter...☆25Updated 7 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- Lens interface for your filesystem☆22Updated 5 years ago
- Reification of data structures using observable sharing☆30Updated last year
- Haskell library for semigroup actions and torsors☆64Updated last year
- An efficient graph library for Haskell☆40Updated 5 months ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- the dynabook but for haskell☆23Updated 6 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Updated 6 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 5 years ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- Comma (and other) separated values☆78Updated 2 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
- Some tools for provability logic☆37Updated 7 years ago
- Ray Tracer in Haskell☆39Updated 7 months ago
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- Handling errors which occur deep inside lens-chains☆17Updated 6 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 3 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated 2 years ago
- Show programming language printed values in a web UI☆24Updated 6 years ago
- A Haskell API into HTML5 Canvas☆72Updated 3 weeks ago
- Lenses and Traversals for Aeson, based on Microlens.☆15Updated last month
- an applicative functor that seamlessly talks to HTML inputs☆72Updated 6 years ago
- A fast paced arcade game☆52Updated 5 years ago
- heidi : tidy data in Haskell☆30Updated 4 years ago
- The theme for LD31 was "Entire Game on One Screen"☆27Updated 9 years ago
- Call AppleScript from Haskell☆13Updated 2 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 5 years ago