Alternatives and similar repositories for ChatSH

Users that are interested in ChatSH are comparing it to the libraries listed below

• VictorTaelin / AI-scripts
  Some handy AI scripts
  ☆671Updated 3 weeks ago
• HigherOrderCO / kindbook
  ☆55Updated 11 months ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆64Updated 2 years ago
• snoglobe / prolog_mcp
  ☆23Updated 8 months ago
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆58Updated last year
• VictorTaelin / AIEMU
  Simple AI-based (Claude-3) game emulator
  ☆47Updated last year
• saulpw / aipl
  Array-Inspired Pipeline Language
  ☆120Updated 2 years ago
• benrayfield / wikibinator203
  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…
  ☆28Updated last year
• Gadersd / ic
  An interaction combinator runtime
  ☆18Updated last year
• jbrukh / gpt-jargon
  Jargon is a natural language programming language specified and executed by LLMs like GPT-4.
  ☆237Updated 2 years ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆112Updated 2 years ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• modal-labs / devlooper
  A program synthesis agent that autonomously fixes its output by running tests!
  ☆467Updated last year
• yagil / tokmon
  CLI to monitor your program's OpenAI API token usage.
  ☆56Updated 2 years ago
• lukaesch / crustagi
  CrustAGI is an Task-driven Autonomous Agent experiment written in Rust
  ☆45Updated 2 years ago
• shog-ai / shoggoth
  Shoggoth is a peer-to-peer network for publishing and distributing open-source Artificial Intelligence
  ☆233Updated last year
• go-go-golems / geppetto
  golang GPT3 tooling
  ☆83Updated this week
• socketteer / clooi
  command loom interface
  ☆110Updated 10 months ago
• jbilcke / latent-browser
  Latent web browser
  ☆274Updated 9 months ago
• adamnemecek / traceoid.ai
  ☆109Updated last year
• plastic-labs / honcho
  Memory library for building stateful agents
  ☆258Updated this week
• 0xmmo / codemancer
  AI coding assistant in your command line.
  ☆67Updated last year
• meistrari / cursive
  ✦ The intuitive LLM framework
  ☆114Updated 10 months ago
• refcell / run-wild
  Augment GPT-4 Environment Access
  ☆285Updated 2 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆77Updated last year
• jayhack / llm.sh
  GPT-3 on your command line
  ☆130Updated 2 years ago
• C0deMunk33 / bespoke_automata
  Bespoke Automata is a GUI and deployment pipline for making complex AI agents locally and offline
  ☆223Updated last year
• knowsuchagency / llmo
  Your friendly terminal-based AI pair programmer
  ☆41Updated 2 years ago
• jeffbinder / promptarray
  Text generator prompting with Boolean operators
  ☆181Updated 2 weeks ago
• westoncb / latent-langs
  ☆26Updated last year