Alternatives and similar repositories for contra:

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

• thma / generic-persistence
  GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …
  ☆11Updated 4 months ago
• yveszhang / ldtyping
  ☆12Updated 8 years ago
• rudymatela / conjure
  Produce Haskell functions out of partial definitions
  ☆12Updated last month
• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated last year
• gelisam / typechecker-combinators
  ☆17Updated last year
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated last month
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆26Updated last month
• jyp / MarXup
  Markup language on top of Haskell
  ☆12Updated 5 months ago
• Qqwy / haskell-symbolize
  Implementation of an efficient thread-safe global Symbol Table, with garbage collection
  ☆19Updated last month
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 8 months ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 8 months ago
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆11Updated last week
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• turion / has-transformers
  This library `Has` transformers
  ☆11Updated 3 years ago
• joom / direct-reflection-for-free
  using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
  ☆15Updated 5 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 months ago
• ollef / system-f-omega-agda
  A formalization of System Fω in Agda
  ☆17Updated 2 months ago
• uemurax / morg
  Organize mathematical thoughts
  ☆20Updated last year
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last week
• sjoerdvisscher / proarrow
  Haskell library for doing category theory with a central role for profunctors
  ☆21Updated 3 weeks ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 3 weeks ago
• minimapletinytools / smarties
  haskell behavior tree library
  ☆11Updated 5 years ago
• iwilare / church-rosser
  A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…
  ☆27Updated 2 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• Rewbert / quickcheck
  Automatic testing of Haskell programs.
  ☆13Updated 10 months ago
• byteverse / contiguous
  Typeclass for array types
  ☆19Updated 2 weeks ago
• alt-romes / haskell-x-swift-project-steps
  A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post
  ☆14Updated 10 months ago
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 3 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆35Updated 3 years ago
• msp-strath / ask
  being a particular fragment of Haskell, extended to a proof system
  ☆32Updated last month