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:
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Lensy interface for parsing CSV's☆42Updated 4 years ago
- Jupyter notebooks☆58Updated 6 months ago
- Stroll: an experimental build system☆40Updated 2 years ago
- ☆41Updated 7 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- Reasonably efficient probability monad for Haskell.☆19Updated 11 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- An implementation of the Core language☆30Updated 9 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- static analysis of free monads☆24Updated 6 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- QuickCheck extras.☆29Updated 5 years ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- A Haskell program and library to derive instances for data types☆25Updated 5 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 7 months ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 2 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- Try Idris☆35Updated 9 years ago
- A semantic highlighter for Idris code☆14Updated 7 years ago
- Serializable closures for distributed programming.☆65Updated last year
- Run HLint as part of normal compilation☆47Updated 6 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Port of Scala/Haskell Refined library to Idris☆17Updated 4 years ago