hackwithlambda / reading-group
☆24Updated 7 years ago
Alternatives and similar repositories for reading-group:
Users that are interested in reading-group are comparing it to the libraries listed below
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)☆35Updated 15 years ago
- Composable probability monads in Haskell.☆22Updated 9 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Advent of Code 2017☆41Updated 6 years ago
- Source for personal blog.☆77Updated this week
- Simple recipes for lazy programmers.☆36Updated 4 years ago
- n queens with the logic monad☆20Updated 10 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- Let's program! Get into programming writing a simple game.☆75Updated 10 years ago
- Slides & demos for talks I do☆59Updated 4 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆23Updated 9 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 6 months ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- Learning about Haskell with Variational Autoencoders☆19Updated 5 years ago
- Haskell implementations of various ML algorithms.☆57Updated 10 years ago
- A talk on type-generic FFT in Haskell☆46Updated 3 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- ☆38Updated 7 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago