owickstrom / automating-the-build-of-your-technical-presentation-template
The full template for "Automating the Build of your Technical Presentation"
☆26Updated 6 years ago
Related projects: ⓘ
- QuickCheck extras.☆29Updated 5 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆47Updated 5 years ago
- ☆41Updated 7 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 6 years ago
- Jupyter notebooks☆57Updated 2 weeks ago
- ☆23Updated 7 years ago
- High level, generic library for interrogative user interfaces in Haskell☆42Updated 3 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Delete half (minus ε) of your Haskell code!☆30Updated 6 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated last year
- ☆25Updated this week
- A semantic highlighter for Idris code☆14Updated 6 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- Stroll: an experimental build system☆37Updated last year
- static analysis of free monads☆25Updated 6 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Dhall support for directed graphs with labeled vertices☆19Updated 3 years ago
- Try Idris☆36Updated 9 years ago
- Lensy interface for parsing CSV's☆42Updated 3 years ago
- ☆22Updated this week
- HoTT Note-taking action☆25Updated 5 years ago
- An extreme condensation of the tutorial for Haskell's Servant (web server and client) library☆11Updated 6 years ago
- ☆41Updated 6 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 3 months ago
- B+-tree implementation in Haskell☆27Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 6 years ago
- ☆35Updated this week
- A small profunctor library for idris☆16Updated last year
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago