Alternatives and similar repositories for gpt-tricks

Users that are interested in gpt-tricks are comparing it to the libraries listed below

• sergv / atomic-counter
  Haskell counters that can be safely incremented from multiple threads
  ☆19Updated 5 months ago
• reflex-frp / patch
  Data structures for describing changes to other data structures.
  ☆17Updated 4 months ago
• Qqwy / haskell-symbolize
  Implementation of an efficient thread-safe global Symbol Table, with garbage collection
  ☆19Updated 3 months ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 2 weeks ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 9 months ago
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 4 years ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated 2 weeks ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 4 years ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated this week
• wenkokke / chez-scheme-hs
  Haskell bindings to Chez Scheme
  ☆10Updated last year
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated 2 months ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆12Updated 4 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
• Lysxia / gradual-eff-paper
  ☆17Updated last year
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• MercuryTechnologies / hlint-plugin
  GHC plugin for hlint
  ☆11Updated last year
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• cchalmers / circuit-notation
  A plugin for circuit notation
  ☆11Updated 6 months ago
• phadej / boring
  Boring and Absurd types
  ☆17Updated 5 months ago
• purefunctor / purescript-ouroboros
  Ouroboros is a PureScript compiler written in PureScript.
  ☆20Updated 8 months ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• isovector / functional-design-patterns
  could it be?
  ☆18Updated 10 months ago
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 11 months ago
• llee454 / functional-algebra
  This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…
  ☆28Updated 6 years ago
• gelisam / typechecker-combinators
  ☆17Updated last year
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 8 months ago
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆33Updated 5 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last week
• jyp / linear-smc
  Linear Types, Symmetric Monoidal Categories, and Tensors
  ☆13Updated last year