owickstrom / automating-the-build-of-your-technical-presentation-templateLinks
The full template for "Automating the Build of your Technical Presentation"
☆26Updated 7 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:
- Jupyter notebooks☆58Updated 6 months ago
- QuickCheck extras.☆29Updated 5 years ago
- Lensy interface for parsing CSV's☆42Updated 4 years ago
- A semantic highlighter for Idris code☆14Updated 7 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- static analysis of free monads☆24Updated 6 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- ☆41Updated 7 years ago
- Stroll: an experimental build system☆40Updated 2 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 6 years ago
- ☆23Updated 7 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 2 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- A Haskell ADL to generate terraform files.☆17Updated 4 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- A purely-functional, strongly-typed functional mocking library for Free programs☆49Updated 9 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- Reasonably efficient probability monad for Haskell.☆19Updated 11 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- ☆23Updated 8 years ago
- Compiler for IMP programming language implemented in Haskell☆16Updated 4 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- Dhall support for directed graphs with labeled vertices☆19Updated 3 years ago
- ☆31Updated 3 years ago