Alternatives and similar repositories for contra

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

• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated last year
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆28Updated 3 months ago
• msp-strath / ask
  being a particular fragment of Haskell, extended to a proof system
  ☆32Updated 3 months ago
• noughtmare / gpc
  Leightweight generalized parser combinators
  ☆20Updated last year
• Qqwy / haskell-symbolize
  Implementation of an efficient thread-safe global Symbol Table, with garbage collection
  ☆19Updated 3 months ago
• rudymatela / conjure
  Produce Haskell functions out of partial definitions
  ☆12Updated 3 weeks ago
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 10 months ago
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆18Updated 3 months ago
• sjoerdvisscher / proarrow
  Haskell library for doing category theory with a central role for profunctors
  ☆21Updated this week
• well-typed / debuggable
  Utilities for making your applications more debuggable.
  ☆16Updated 6 months ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 3 weeks ago
• thma / generic-persistence
  GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …
  ☆12Updated last month
• turion / has-transformers
  This library `Has` transformers
  ☆11Updated 3 years ago
• sdzx-1 / typed-fsm
  typed finite-state machine
  ☆18Updated 7 months ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 9 months ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆36Updated 3 years ago
• bobatkey / agda-metric-reals
  ☆29Updated 3 years ago
• Rewbert / quickcheck
  Automatic testing of Haskell programs.
  ☆13Updated 2 weeks ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 3 weeks ago
• well-typed / ghc-debugger
  WIP: A modern step-through debugger for GHC Haskell
  ☆30Updated this week
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆27Updated 8 months 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
• msp-strath / cs410-advanced-functional-programming
  CS410 "Advanced Functional Programming"
  ☆24Updated last month
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 4 months ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 2 months ago
• well-typed / blockio-uring
  Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.
  ☆14Updated 2 weeks ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 2 months ago
• uemurax / morg
  Organize mathematical thoughts
  ☆20Updated last year
• jyp / linear-smc
  Linear Types, Symmetric Monoidal Categories, and Tensors
  ☆13Updated last year