VictorTaelin / ChatSH
Chat with GPT from the terminal, with the ability to execute shell scripts.
☆90Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for ChatSH
- Some handy AI scripts☆458Updated 2 weeks ago
- A minimal proof checker.☆65Updated 2 months ago
- ☆33Updated this week
- HVM3☆55Updated this week
- Collection of Kind2 programs and proofs☆11Updated 6 months ago
- Using Large Language Models for Repo-wide Type Prediction☆96Updated 11 months ago
- CrustAGI is an Task-driven Autonomous Agent experiment written in Rust☆43Updated last year
- ☆495Updated 5 months ago
- ☆110Updated 9 months ago
- Training GPTs to solve interaction nets☆16Updated 3 months ago
- A simple example on how Bend could be used to accelerate program search in a near future☆16Updated 4 months ago
- Simple AI-based (Claude-3) game emulator☆45Updated 6 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆60Updated last year
- AI coding assistant in your command line.☆66Updated 6 months ago
- Shoggoth is a peer-to-peer network for publishing and distributing open-source Artificial Intelligence☆235Updated last week
- The fastest CLI tool for prompting LLMs. Including support for prompting several LLMs at once!☆62Updated 2 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,…☆72Updated 2 weeks ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆235Updated 2 weeks ago
- ☆24Updated last month
- command loom interface☆91Updated 2 months ago
- ✦ The intuitive LLM framework☆108Updated 3 weeks ago
- This repository explains and provides examples for "concept anchoring" in GPT4.☆72Updated 10 months ago
- Your friendly terminal-based AI pair programmer☆42Updated last year