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
- Jupyter notebooks☆58Updated last month
- Slides & demos for talks I do☆58Updated 2 months ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated last year
- A semantic highlighter for Idris code☆14Updated 7 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- A Haskell program and library to derive instances for data types☆25Updated 5 years ago
- Stroll: an experimental build system☆41Updated 2 years ago
- ☆41Updated 8 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 4 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- Slides and code examples for a talk☆22Updated 8 years ago
- ☆40Updated 7 years ago
- 💝 Haskell profiles to sponsor☆48Updated 4 years ago
- ♾️ Sized list☆47Updated last year
- ☆23Updated 8 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆42Updated 2 years ago
- Haskell library containing common graph search algorithms☆54Updated 5 months ago
- An implementation of the Core language☆30Updated 10 years ago
- An example Servant API.☆19Updated 10 years ago
- Database maintenance tool support☆26Updated last year
- So, you want to write a DSL interpreter...☆25Updated 7 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Library for manipulating Haskell source code☆22Updated 3 months ago
- Modern HTTP mock server for your daily project based on Dhall configuration☆22Updated 5 years ago
- A functional web framework☆34Updated 3 years ago
- Reasonable Haskell default import☆27Updated 3 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 8 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 6 years ago