hwayne / gpt-tricks
A collection of useful uses of GPT (and other LLMs), organized as examples
☆16Updated last year
Related projects ⓘ
Alternatives and complementary repositories for gpt-tricks
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- A library for benign effects in Haskell☆20Updated 2 years ago
- could it be?☆14Updated 4 months ago
- First Class Record Fields in Haskell☆17Updated 5 months ago
- ☆16Updated 2 years ago
- Haskell counters that can be safely incremented from multiple threads☆17Updated last year
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆33Updated this week
- A Haskell IDE for Visual Studio Code.☆26Updated last month
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 3 months ago
- Haskell bindings to Rust's regex library☆18Updated 5 months ago
- Text generation language☆32Updated 2 weeks ago
- Haskell bindings to Chez Scheme☆10Updated last year
- An efficient graph library for Haskell☆39Updated 3 months ago
- Session types framework with support of protocol pipelining.☆15Updated last month
- Boring and Absurd types☆17Updated 6 months ago
- Category Theory & Cobordism Categories in Lean 4☆14Updated 4 months ago
- Short data science / analysis projects in a variety of programming languages☆10Updated 7 months ago
- Ouroboros is a PureScript compiler written in PureScript.☆18Updated last month
- A verified tensor library in Lean☆12Updated this week
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated 3 months ago
- Probabilistic Functional Logic Programming☆14Updated 3 weeks ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 5 months ago
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆14Updated 5 months ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 4 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 11 months ago
- Extism Lean 4 Host SDK☆15Updated 3 weeks ago
- Cabal-fmt vim plugin for formatting Cabal package files☆15Updated 4 years ago
- Reference counting with linear types☆30Updated 4 months ago
- Convert data to and from a natural number representation☆13Updated 3 years ago
- Strongly typed paths in Haskell☆13Updated last year