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:
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 5 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 3 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
- Split integers into digits, blazingly fast☆15Updated last week
- A library for building bots compositionally.☆48Updated 9 months ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆42Updated this week
- A library for benign effects in Haskell☆21Updated 7 months ago
- An application to visualize the semantic distance between two words using the Wordnet lexical database and algorithmic path finding.☆11Updated 4 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 5 years ago
- Agda-style equational reasoning in Haskell☆54Updated 9 months ago
- Classical Logic in Haskell☆24Updated last month
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- a search engine for humans☆19Updated 3 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Efficient parser combinators for Haskell☆39Updated last month
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Updated 5 years ago
- GHC plugin for hlint☆11Updated 2 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
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 10 months ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 4 months ago
- Flexible Haskell library for parsing and printing S-Expressions☆21Updated last year
- A Haskell IDE for Visual Studio Code.☆27Updated 3 weeks ago
- A flexible Haskell API for querying the GitHub REST API☆14Updated this week
- Handle ASCII text with style and safety☆10Updated 9 months ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- ☆15Updated 3 years ago
- Signature inference for Functional Property Discovery in Haskell☆38Updated 8 years ago
- Web front UI for interactive Haskell projects☆34Updated 5 years ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆28Updated 2 years ago