Alternatives and similar repositories for gpt-tricks:

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

• isovector / functional-design-patterns
  could it be?
  ☆14Updated 6 months ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated 3 weeks ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 7 months ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated 3 months ago
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆17Updated 2 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated 11 months ago
• mroman42 / vitrea
  Optics via the profunctor representation theorem
  ☆23Updated last month
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• reflex-frp / patch
  Data structures for describing changes to other data structures.
  ☆17Updated last week
• neurallambda / automata
  generate synthetic data for training finite state machines/pushdown automata/turing machines
  ☆15Updated 9 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 4 years ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 2 years ago
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆24Updated last year
• vmchale / rure
  Haskell bindings to Rust's regex library
  ☆18Updated 8 months ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated 5 months ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆15Updated 3 months ago
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆31Updated 10 months ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆16Updated 3 weeks ago
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆17Updated last week
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 4 months ago
• MercuryTechnologies / ghc-specter
  Inspecting tool for GHC compilation pipeline
  ☆31Updated last year
• BeFunctional / haskell-rust-ffi
  ☆15Updated last year
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆39Updated last year
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆34Updated this week
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 5 months ago