hwayne / gpt-tricksLinks
A collection of useful uses of GPT (and other LLMs), organized as examples
☆16Updated 2 years ago
Alternatives and similar repositories for gpt-tricks
Users that are interested in gpt-tricks are comparing it to the libraries listed below
Sorting:
- Agda-style equational reasoning in Haskell☆54Updated 7 months ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 5 years ago
- A library for building bots compositionally.☆48Updated 8 months ago
- Static security for database-backed Haskell applications using Liquid Haskell☆18Updated last year
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆41Updated this week
- A library for benign effects in Haskell☆20Updated 5 months ago
- a search engine for humans☆19Updated 3 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- A type theory with native support for Polynomial Functors.☆40Updated 2 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated last month
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 4 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 9 months ago
- 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
- A Haskell IDE for Visual Studio Code.☆27Updated 3 months ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated last year
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Split integers into digits, blazingly fast☆13Updated last month
- ☆16Updated 3 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 5 years ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 8 months ago
- Web front UI for interactive Haskell projects☆34Updated 5 years ago
- Fast equality saturation in Haskell☆88Updated 2 weeks ago
- A non-interactive proof assistant using the Haskell type system☆38Updated 5 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Updated 6 years ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Combine and enhance Functors☆39Updated 3 months ago