owickstrom / automating-the-build-of-your-technical-presentation-template
The full template for "Automating the Build of your Technical Presentation"
☆26Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for automating-the-build-of-your-technical-presentation-template
- Try Idris☆36Updated 9 years ago
- Jupyter notebooks☆58Updated 3 weeks ago
- A semantic highlighter for Idris code☆14Updated 6 years ago
- A small bifunctor library for idris☆21Updated 3 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated 2 years ago
- ☆23Updated 7 years ago
- ☆40Updated 6 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆32Updated 5 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- ☆41Updated 7 years ago
- Stroll: an experimental build system☆38Updated last year
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- Example pet shop written in Haskell☆11Updated 8 years ago
- Presentations on Liquid Haskell, type theory, and more☆44Updated last month
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- B+-tree implementation in Haskell☆27Updated 5 years ago
- tools for writing better type errors☆73Updated last year
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆23Updated 8 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Extensible records for Idris☆26Updated 3 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Lensy interface for parsing CSV's☆42Updated 4 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆38Updated last year
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Updated 6 years ago
- A small profunctor library for idris☆16Updated 2 years ago