VictorTaelin / ChatSHLinks
Chat with GPT from the terminal, with the ability to execute shell scripts.
☆93Updated last year
Alternatives and similar repositories for ChatSH
Users that are interested in ChatSH are comparing it to the libraries listed below
Sorting:
- ☆19Updated 3 months ago
- ☆51Updated 6 months ago
- Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of nu…☆25Updated last year
- Simple AI-based (Claude-3) game emulator☆46Updated last year
- command loom interface☆109Updated 5 months ago
- HVM3☆226Updated last week
- cli loom that uses git to manage branches☆26Updated 6 months ago
- Collection of Kind2 programs and proofs☆12Updated last year
- ☆495Updated last year
- Shoggoth is a peer-to-peer network for publishing and distributing open-source Artificial Intelligence☆235Updated 8 months ago
- ✦ The intuitive LLM framework☆112Updated 5 months ago
- Text generator prompting with Boolean operators☆180Updated 2 years ago
- ☆27Updated 10 months ago
- Bend2 - WIP☆110Updated this week
- ☆96Updated 7 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- A Loom implementation in Obsidian☆302Updated 3 months ago
- explore token trajectory trees on instruct and base models☆134Updated last month
- Jargon is a natural language programming language specified and executed by LLMs like GPT-4.☆233Updated last year
- Array-Inspired Pipeline Language☆119Updated last year
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- AI coding assistant in your command line.☆67Updated last year
- ☆23Updated 7 months ago
- A replication of Andy Ayrey's "Backrooms" (https://dreams-of-an-electric-mind.webflow.io/), but runnable with Opus 3, Sonnet 3.5, GPT 4o,…☆107Updated 2 months ago
- A strongly typed Python DSL for developing message passing multi agent systems☆53Updated last year
- Latent web browser☆270Updated 4 months ago
- Using Large Language Models for Repo-wide Type Prediction☆109Updated last year
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆33Updated last year
- Some of the scripts I use for scribepod @ https://scribepod.substack.com/, an automated AI podcast☆171Updated 2 years ago
- PromptMate is your AI partner to develop code.☆90Updated 2 years ago