Alternatives and similar repositories for ChatSH:

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

• HigherOrderCO / kindbook
  ☆45Updated 2 months ago
• lukaesch / crustagi
  CrustAGI is an Task-driven Autonomous Agent experiment written in Rust
  ☆44Updated last year
• socketteer / worldspider
  gpt completions in vscode
  ☆33Updated 2 years ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 10 months ago
• VictorTaelin / AI-scripts
  Some handy AI scripts
  ☆620Updated last month
• HigherOrderCO / HVM3
  HVM3
  ☆174Updated this week
• VictorTaelin / AIEMU
  Simple AI-based (Claude-3) game emulator
  ☆47Updated 10 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 6 months ago
• CyrusNuevoDia / llegos
  A strongly typed Python DSL for developing message passing multi agent systems
  ☆52Updated 11 months ago
• meistrari / cursive
  ✦ The intuitive LLM framework
  ☆108Updated last month
• MateusZitelli / PromptMate
  PromptMate is your AI partner to develop code.
  ☆90Updated last year
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆59Updated 10 months ago
• martin-opensky / whisper-assistant-vscode
  ☆45Updated 4 months ago
• r2d4 / parserllm
  Use context-free grammars with an LLM
  ☆168Updated last year
• EmanuelCampos / monorepo-llama-index
  Packages to use llama indexes on a react app with flask
  ☆27Updated last year
• jbellis / llmap
  LLMap solves context extraction for large codebases
  ☆81Updated last month
• 1rgs / token-trekker-rs
  ☆13Updated 2 years ago
• 0xmmo / codemancer
  AI coding assistant in your command line.
  ☆66Updated 10 months ago
• ad-si / cai
  The fastest CLI tool for prompting LLMs. Including support for prompting several LLMs at once!
  ☆79Updated last month
• VictorTaelin / Interaction-Type-Theory
  ☆118Updated last year
• petersolimine / AgentWorld
  DIY simulacra—build and run your own simulation. 🤖🌎
  ☆25Updated last year
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated last year
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated 6 months ago
• kindelia / Kindelia
  An efficient, secure cryptocomputer
  ☆616Updated last year
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆17Updated 7 months ago
• yagil / tokmon
  CLI to monitor your program's OpenAI API token usage.
  ☆57Updated last year
• HigherOrderCO / hvm-64
  ☆496Updated 9 months ago
• adamnemecek / traceoid.ai
  ☆76Updated 3 months ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆108Updated last year
• westoncb / latent-langs
  ☆27Updated 6 months ago