Alternatives and similar repositories for texhs

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

• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆45Updated 7 months ago
• stackbuilders / hspec-golden
  Golden tests with Hspec
  ☆29Updated last month
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆45Updated 3 months ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆43Updated 2 years ago
• HeinrichApfelmus / operational
  Implement monads by specifying instructions and their desired operational semantics.
  ☆84Updated last year
• UnkindPartition / lexer-applicative
  Applicative lexer
  ☆13Updated 6 years ago
• gallais / agda-presburger
  Deciding Presburger arithmetic in agda
  ☆33Updated 2 years ago
• arowM / heterocephalus
  A type safe template engine for collaborating with front end development tools
  ☆54Updated 2 years ago
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆36Updated 11 months ago
• jcristovao / newtype-generics
  A typeclass and set of functions for working with newtypes.
  ☆10Updated 3 years ago
• fumieval / winery
  Preservative serialisation format
  ☆92Updated last year
• yav / pretty-show
  Tools for working with derived Show instances in Haskell.
  ☆57Updated 2 years ago
• AndrasKovacs / flat-maybe
  Rust-style strict Maybe in Haskell: no space/indirection overhead.
  ☆18Updated last year
• mietek / formal-logic
  TODO
  ☆23Updated 10 years ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆46Updated 3 years ago
• fumieval / witherable
  Filter with effects
  ☆74Updated 11 months ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• glguy / th-abstraction
  Uniform interface to reified data type information via Template Haskell
  ☆20Updated 2 months ago
• expipiplus1 / vector-sized
  ☆35Updated last year
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 5 years ago
• stackbuilders / inflections-hs
  Rails-like inflections for Haskell
  ☆37Updated 3 months ago
• dmwit / universe
  Classes for types where we know all the values
  ☆39Updated 11 months ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 3 years ago
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 8 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆25Updated 4 years ago
• diagrams / diagrams-svg
  An SVG backend for diagrams
  ☆51Updated last month
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• JonasDuregard / testing-feat
  FEAT
  ☆25Updated 7 years ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Updated 5 years ago
• bfops / open-union
  Type-safe open unions in Haskell
  ☆32Updated 7 years ago