owickstrom / automating-the-build-of-your-technical-presentation-templateLinks
The full template for "Automating the Build of your Technical Presentation"
☆26Updated 8 years ago
Alternatives and similar repositories for automating-the-build-of-your-technical-presentation-template
Users that are interested in automating-the-build-of-your-technical-presentation-template are comparing it to the libraries listed below
Sorting:
- QuickCheck extras.☆29Updated 6 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated last year
- Slides and code examples for a talk☆22Updated 7 years ago
- Jupyter notebooks☆58Updated 2 weeks ago
- Stroll: an experimental build system☆41Updated 2 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- README files used to be able to lie. Now they can't! Woo!☆38Updated 4 years ago
- ♾️ Sized list☆47Updated last year
- Free categories, free arrows and free categories with monadic actions☆24Updated 8 months ago
- Slides & demos for talks I do☆58Updated last month
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- ☆41Updated 8 years ago
- A Haskell program and library to derive instances for data types☆25Updated 5 years ago
- do-notation for Category and "Arrow without arr"☆62Updated 8 years ago
- 💝 Haskell profiles to sponsor☆48Updated 4 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆42Updated 2 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- A semantic highlighter for Idris code☆14Updated 7 years ago
- Yet another yet another recursion scheme library in Haskell.☆89Updated last week
- Serializable closures for distributed programming.☆65Updated 2 years ago
- Database maintenance tool support☆26Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- ☆23Updated 8 years ago
- Source for personal blog.☆78Updated 3 months ago
- Generate realistic looking fake data☆47Updated 4 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 3 years ago
- Express parametrable, composable and portable data pipelines☆88Updated 3 years ago
- An extensible event-driven application framework in haskell☆110Updated last month