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 3 weeks ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 4 years ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated last year
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 5 months ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 7 months ago
• storm-framework / storm
  Static security for database-backed Haskell applications using Liquid Haskell
  ☆18Updated last year
• lukel97 / lsp-test
  A functional test framework for LSP servers
  ☆35Updated 4 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
• aaronallen8455 / Typson
  Type safe JSON PostgreSQL queries using bidirectional serializers
  ☆21Updated 4 years ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 3 months ago
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Updated 7 months ago
• lexi-lambda / talks
  ☆44Updated 2 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 3 months ago
• AndrasKovacs / misc-stuff
  Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.
  ☆21Updated 2 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆30Updated 3 years ago
• msakai / data-interval
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆21Updated this week
• boris-ci / boris
  This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.
  ☆19Updated 6 years ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆38Updated last week
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆30Updated 10 months ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 5 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• brandonchinn178 / github-rest
  A flexible Haskell API for querying the GitHub REST API
  ☆14Updated last year
• phadej / boring
  Boring and Absurd types
  ☆17Updated 8 months ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 4 years ago
• tek / helic
  Clipboard synchronization tool
  ☆12Updated 2 weeks ago
• gergoerdi / functional-mos6502-web-performance
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆27Updated 2 years ago