Alternatives and similar repositories for ChatSH:

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

• HigherOrderCO / HVM3
  HVM3
  ☆153Updated this week
• kindelia / Kindelia
  An efficient, secure cryptocomputer
  ☆615Updated last year
• HigherOrderCO / kindbook
  ☆44Updated last month
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆73Updated 5 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 9 months ago
• HigherOrderCO / hvm-64
  ☆494Updated 8 months ago
• socketteer / clooi
  command loom interface
  ☆101Updated last week
• VictorTaelin / AI-scripts
  Some handy AI scripts
  ☆604Updated 2 weeks ago
• socketteer / worldspider
  gpt completions in vscode
  ☆33Updated last year
• CyrusNuevoDia / llegos
  A strongly typed Python DSL for developing message passing multi agent systems
  ☆52Updated 10 months ago
• scottviteri / UniversalBackrooms
  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,…
  ☆99Updated 3 months ago
• ad-si / cai
  The fastest CLI tool for prompting LLMs. Including support for prompting several LLMs at once!
  ☆71Updated this week
• yacineMTB / scribepod
  Some of the scripts I use for scribepod @ https://scribepod.substack.com/, an automated AI podcast
  ☆172Updated last year
• C0deMunk33 / bespoke_automata
  Bespoke Automata is a GUI and deployment pipline for making complex AI agents locally and offline
  ☆223Updated 8 months ago
• shog-ai / shoggoth
  Shoggoth is a peer-to-peer network for publishing and distributing open-source Artificial Intelligence
  ☆238Updated 3 months ago
• meistrari / cursive
  ✦ The intuitive LLM framework
  ☆108Updated 2 weeks ago
• cosmicoptima / loom
  A Loom implementation in Obsidian
  ☆280Updated 5 months ago
• 0xmmo / codemancer
  AI coding assistant in your command line.
  ☆66Updated 9 months ago
• MateusZitelli / PromptMate
  PromptMate is your AI partner to develop code.
  ☆90Updated last year
• adamnemecek / traceoid.ai
  ☆66Updated 2 months ago
• FL33TW00D / laserbeak
  Add local LLMs to your Web or Electron apps! Powered by Rust + WebGPU
  ☆102Updated last year
• yagil / tokmon
  CLI to monitor your program's OpenAI API token usage.
  ☆57Updated last year
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆32Updated 5 months ago
• knowsuchagency / llmo
  Your friendly terminal-based AI pair programmer
  ☆42Updated last year
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆59Updated 9 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆117Updated last year
• socketteer / gitloom
  cli loom that uses git to manage branches
  ☆24Updated last month
• kayvr / token-hawk
  WebGPU LLM inference tuned by hand
  ☆148Updated last year
• minosvasilias / gpt-manifold
  An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.
  ☆33Updated last year