Alternatives and similar repositories for mathblog

Users that are interested in mathblog are comparing it to the libraries listed below

• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 6 years ago
• justjoheinz / idris-httpclient
  A http client for Idris based on libcurl
  ☆10Updated 9 years ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 11 years ago
• JakobBruenker / curses-idris
  Curses bindings package for Idris
  ☆13Updated 6 years ago
• ndmitchell / derive
  A Haskell program and library to derive instances for data types
  ☆25Updated 5 years ago
• JPMoresmau / HGraphStorage
  Graph database in Haskell
  ☆24Updated 9 years ago
• patperry / hs-monte-carlo
  A Monte Carlo monad and transformer for Haskell.
  ☆40Updated 6 years ago
• byorgey / BlogLiterately
  Command-line tool for formatting and publishing blog posts.
  ☆20Updated last year
• ekmett / multicategories
  Playing around with multicategories and operads
  ☆16Updated 10 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 7 years ago
• ggreif / dynamic-loader
  Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
  ☆24Updated 7 years ago
• yogeshsajanikar / hspark
  A port of Apache Sparks to Haskell using distributed process
  ☆33Updated 8 years ago
• TimRichter / CId
  a little category theory in Idris
  ☆10Updated 9 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago
• sebastiaanvisser / fclabels
  First class composable record labels for Haskell.
  ☆68Updated 3 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 5 years ago
• diagrams / diagrams-pgf
  A PGF backend for diagrams
  ☆14Updated 2 weeks ago
• ziman / idris-benchmarks
  Some benchmarks for Idris
  ☆12Updated 7 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 7 years ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated last year
• rodrigogribeiro / idrisregexp
  Regular expression matching in Idris
  ☆11Updated 9 years ago
• idris-hackers / idris-sublime
  A Plugin to use Idris with Sublime
  ☆27Updated 4 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 10 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆25Updated 10 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• idris-hackers / idris-lens
  ☆23Updated 8 years ago
• haskell-works / hw-rankselect
  ☆18Updated last year