bhurt / presentations
A repo for my presentations.
☆28Updated 7 years ago
Alternatives and similar repositories for presentations:
Users that are interested in presentations are comparing it to the libraries listed below
- ☆42Updated 9 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Composable probability monads in Haskell.☆22Updated 9 years ago
- The missing tutorial module for the lens library☆82Updated 11 months ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆117Updated 4 months ago
- A collection of introductory tutorials on Haskell libraries☆42Updated 9 years ago
- what it says on the tin☆24Updated 6 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Model-view-controller☆63Updated 2 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- Haskell clone of Boundary's k-ordered unique id service☆40Updated 7 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- Describe Haskell code in GHCi☆71Updated 7 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- A streaming query language.☆57Updated 4 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- ☆89Updated last year
- Declare and access tuple fields with labels☆58Updated 6 years ago
- 2048 in Idris☆122Updated 7 years ago
- complexity testing for haskell☆48Updated 9 years ago
- Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection☆66Updated 3 years ago
- A more flexible mtl☆64Updated 7 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Automatically finds dependencies and runs a Haskell file with stack (no cabal manifest, no stack.yaml, no project, no friction)☆32Updated 8 years ago
- A purely-functional, strongly-typed functional mocking library for Free programs☆49Updated 8 years ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆70Updated 9 years ago
- A general way to consume input using applicative functors☆151Updated 3 months ago
- An enhanced core prelude, meant for building up more complete preludes on top of.☆50Updated 7 years ago