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

• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 7 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 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 / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated 6 months ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 5 months ago
• ndmitchell / derive
  A Haskell program and library to derive instances for data types
  ☆25Updated 4 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• JeffreyBenjaminBrown / haskell-servant-ludicrous-speed
  An extreme condensation of the tutorial for Haskell's Servant (web server and client) library
  ☆11Updated 7 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 4 years ago
• UnkindPartition / immortal
  Spawn threads that never die (unless told to do so)
  ☆37Updated 7 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• stackbuilders / octohat
  API wrapper for Github's API in Haskell with tests
  ☆17Updated 9 years ago
• ChrisPenner / lens-csv
  Lensy interface for parsing CSV's
  ☆42Updated 4 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• berewt / acme-haskellee
  Haskell Enterprise Edition
  ☆12Updated 7 years ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆24Updated 8 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 8 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last month
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 11 months ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated last year
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated last month
• kowainik / slist
  ♾️ Sized list
  ☆46Updated 11 months ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆12Updated 4 years ago
• mightybyte / fake
  Generate realistic looking fake data
  ☆47Updated 4 years ago
• markus1189 / how-this-presentation
  ☆13Updated 6 years ago
• ocharles / hlint-source-plugin
  Run HLint as part of normal compilation
  ☆47Updated 6 years ago