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

• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated last year
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 6 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆62Updated 4 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 8 years ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 7 years ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• nikivazou / theorem-proving-template
  Template repo for theorem proving in Liquid Haskell
  ☆32Updated 7 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 11 months ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 4 years ago
• arianvp / servis
  Github project where I track everything related to my thesis
  ☆28Updated 9 years ago
• dalaing / type-systems
  ☆23Updated 8 years ago
• aherrmann / simply_llvm
  ☆41Updated 8 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• ndmitchell / derive
  A Haskell program and library to derive instances for data types
  ☆25Updated 5 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago
• kowainik / slist
  ♾️ Sized list
  ☆47Updated last year
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆42Updated 2 years ago
• gallais / agdarky
  Agda suffices: software written from A to Z in Agda
  ☆16Updated 6 years ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆60Updated 8 years ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated 2 months ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago
• ekmett / auth
  ☆40Updated 7 years ago
• devonhollowood / search-algorithms
  Haskell library containing common graph search algorithms
  ☆54Updated 4 months ago
• ConferOpenSource / refurb
  Database maintenance tool support
  ☆26Updated last year
• deech / LeftPad
  ☆23Updated 7 years ago
• kowainik / awesome-haskell-sponsorship
  💝 Haskell profiles to sponsor
  ☆48Updated 4 years ago