Alternatives and similar repositories for texhs

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

• stackbuilders / hspec-golden
  Golden tests with Hspec
  ☆29Updated 3 months ago
• gallais / agda-presburger
  Deciding Presburger arithmetic in agda
  ☆33Updated 2 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆45Updated 9 months ago
• mietek / formal-logic
  TODO
  ☆23Updated 10 years ago
• tanakh / optparse-declarative
  Declarative command-line option parser
  ☆60Updated last month
• HeinrichApfelmus / operational
  Implement monads by specifying instructions and their desired operational semantics.
  ☆84Updated last year
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆59Updated 2 years ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 12 years ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated last month
• arowM / heterocephalus
  A type safe template engine for collaborating with front end development tools
  ☆54Updated 2 years ago
• haskell-unordered-containers / hashable
  A class for types that can be converted to a hash value
  ☆105Updated last month
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆45Updated 5 months ago
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆36Updated last year
• lukemaurer / sequent-core
  Alternative Core language for GHC plugins
  ☆39Updated 9 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆82Updated 2 years ago
• fumieval / witherable
  Filter with effects
  ☆76Updated last year
• yav / pretty-show
  Tools for working with derived Show instances in Haskell.
  ☆58Updated 3 years ago
• gallais / potpourri
  Where my everyday research happens
  ☆55Updated last week
• Gabriella439 / list-transformer
  List monad transformer
  ☆60Updated last year
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆46Updated 3 years ago
• TikhonJelvis / modular-arithmetic
  A useful type for working with integers modulo some constant.
  ☆30Updated 2 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆37Updated 4 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 5 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆43Updated 2 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆33Updated 6 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago
• agda-attic / agda-system-io
  Bindings to Haskell's IO monad which respect Agda's semantics
  ☆24Updated 7 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• glguy / th-abstraction
  Uniform interface to reified data type information via Template Haskell
  ☆20Updated 3 weeks ago