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:
- Some handy AI scripts☆640Updated 2 weeks ago
- ☆53Updated 9 months ago
- An efficient, secure cryptocomputer☆616Updated last year
- Jargon is a natural language programming language specified and executed by LLMs like GPT-4.☆235Updated 2 years 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…☆26Updated last year
- Collection of Kind2 programs and proofs☆12Updated last year
- ☆494Updated last year
- HVM3☆266Updated 3 weeks ago
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- Shoggoth is a peer-to-peer network for publishing and distributing open-source Artificial Intelligence☆234Updated 11 months ago
- ☆22Updated 6 months ago
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆33Updated last year
- Your friendly terminal-based AI pair programmer☆41Updated 2 years ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆279Updated 11 months ago
- command loom interface☆110Updated 8 months ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- Array-Inspired Pipeline Language☆120Updated last year
- Simple embedding -> text model trained on a small subset of Wikipedia sentences.☆156Updated 2 years ago
- Text generator prompting with Boolean operators☆179Updated 2 weeks ago
- ☆106Updated 10 months ago
- User friendly CLI tool for AI tasks. Stop thinking about LLMs and prompts, start getting results!☆125Updated last month
- A minimal proof checker.☆76Updated last year
- A strongly typed Python DSL for developing message passing multi agent systems☆53Updated last year
- Bend2 - WIP☆203Updated this week
- Antivirus for your mind☆129Updated 2 years ago
- Latent web browser☆273Updated 8 months ago
- Open notebook for my research in culture science☆78Updated 7 months ago
- The Identity layer for the agentic world☆236Updated last week
- explore token trajectory trees on instruct and base models☆148Updated 5 months ago
- CS 498MC Martian Computing at the University of Illinois at Urbana–Champaign☆63Updated 3 years ago