VictorCMiraldo / lw2019-generics-workshopView external linksLinks
Contains exercises for the workshop in generic programming at Lambda World 2019
☆10Oct 17, 2019Updated 6 years ago
Alternatives and similar repositories for lw2019-generics-workshop
Users that are interested in lw2019-generics-workshop are comparing it to the libraries listed below
Sorting:
- Codo notation for programming with comonads in Haskell☆25Jan 24, 2021Updated 5 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 6 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- Embed a directory of static files in your application and serve them from your Servant server☆14Oct 2, 2024Updated last year
- Simple setup for deploying Haskell to Amazon Lambda☆14Jun 25, 2020Updated 5 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- ☆15Jan 26, 2018Updated 8 years ago
- Slides and projects for LambdaConf 2018 Workshop☆16Jun 3, 2018Updated 7 years ago
- Working through the Thinking with Types book in Haskell☆34May 1, 2020Updated 5 years ago
- Render LaTeX math to SVG mages☆18Mar 25, 2024Updated last year
- Slides for presentations!☆16Dec 4, 2025Updated 2 months ago
- ☆36Jun 20, 2021Updated 4 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Oct 2, 2022Updated 3 years ago
- Lensy interface for parsing CSV's☆43Oct 20, 2020Updated 5 years ago
- ocaml multi-armed bandit module☆18Jun 10, 2020Updated 5 years ago
- GHCJS + Miso port of the Vue.js examples.☆19Nov 25, 2018Updated 7 years ago
- Create and animate sprites easily with sdl2 (Haskell)☆24May 12, 2018Updated 7 years ago
- State-space estimation algorithms and models☆28Jul 19, 2016Updated 9 years ago
- Deep embedding of imperative programs with code generation☆23May 26, 2022Updated 3 years ago
- higher-kinded data☆30May 16, 2023Updated 2 years ago
- OpenGL NeHe tutorials converted to Haskell☆36Jul 11, 2013Updated 12 years ago
- Demonstrating comonad transformers.☆36Oct 9, 2016Updated 9 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 6 years ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆28Dec 29, 2023Updated 2 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 6 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 5 months ago
- Browsing man pages and help pages with zero friction.☆35Nov 25, 2018Updated 7 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Feb 3, 2020Updated 6 years ago
- 🐈 Catstagram made with ReasonReact!☆32Dec 11, 2019Updated 6 years ago
- Type Your Matrices For Great Good☆29Jul 22, 2020Updated 5 years ago
- An implementation of Flatris using Haskell and Miso☆32Nov 14, 2019Updated 6 years ago
- A high level file watcher DSL☆41Dec 20, 2023Updated 2 years ago
- Classes for types where we know all the values☆39Jan 3, 2025Updated last year
- A flexible and extensible form package in Elm that uses the platform.☆11Jul 8, 2024Updated last year
- Experimental Haskell machine learning library☆35May 25, 2017Updated 8 years ago
- Resource-AWare Feldspar☆38May 27, 2022Updated 3 years ago
- 🌈Make your debug life a little bit more colorful☆10Jan 2, 2020Updated 6 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- Meditrack will be a Web app to help people with their medicine and doctors’ routine. It will store all the medications prescribed by rece…☆12Mar 9, 2021Updated 4 years ago