Alternatives and similar repositories for gpt-tricks

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

• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆47Updated 5 months ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 4 years ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated 4 months ago
• msakai / data-interval
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆21Updated 2 months ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 2 months ago
• aaronallen8455 / Typson
  Type safe JSON PostgreSQL queries using bidirectional serializers
  ☆21Updated 4 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 4 months ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated last year
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆30Updated 2 years ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 6 months ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 10 months ago
• CLowcay / hgbc
  Gameboy color emulator in Haskell
  ☆9Updated 11 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• lexi-lambda / talks
  ☆44Updated 2 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 3 months ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆39Updated last year
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated 2 years ago
• emilypi / order
  Order theory
  ☆25Updated last year
• phadej / boring
  Boring and Absurd types
  ☆17Updated 7 months ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 2 months ago
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆52Updated 2 years ago
• storm-framework / storm
  Static security for database-backed Haskell applications using Liquid Haskell
  ☆18Updated last year
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆34Updated last year