Alternatives and similar repositories for ChatSH

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

• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated last year
• kindelia / Kindelia
  An efficient, secure cryptocomputer
  ☆617Updated last year
• HigherOrderCO / kindbook
  ☆48Updated 5 months ago
• HigherOrderCO / hvm-64
  ☆496Updated 11 months ago
• jbrukh / gpt-jargon
  Jargon is a natural language programming language specified and executed by LLMs like GPT-4.
  ☆232Updated last year
• VictorTaelin / AIEMU
  Simple AI-based (Claude-3) game emulator
  ☆45Updated last year
• lynaghk / whispertron
  ☆27Updated last month
• meistrari / cursive
  ✦ The intuitive LLM framework
  ☆110Updated 4 months ago
• shroominic / funcchain
  ⛓️ build cognitive systems, pythonic
  ☆336Updated 6 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 8 months ago
• MateusZitelli / PromptMate
  PromptMate is your AI partner to develop code.
  ☆90Updated 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…
  ☆25Updated last year
• subconsciousnetwork / subconscious
  ☆9Updated last year
• simonw / scrape-chatgpt-plugin-prompts
  ☆114Updated last year
• VictorTaelin / AI-scripts
  Some handy AI scripts
  ☆629Updated 2 weeks ago
• yagil / tokmon
  CLI to monitor your program's OpenAI API token usage.
  ☆57Updated 2 years ago
• 1rgs / clarity-reader
  Layered, depth-first reading—start with summaries, tap to explore details, and gain clarity on complex topics.
  ☆271Updated last year
• 0xmmo / codemancer
  AI coding assistant in your command line.
  ☆66Updated last year
• snoglobe / prolog_mcp
  ☆17Updated 2 months ago
• lukaesch / crustagi
  CrustAGI is an Task-driven Autonomous Agent experiment written in Rust
  ☆44Updated 2 years ago
• HigherOrderCO / HVM3
  HVM3
  ☆218Updated last week
• dmotz / emdash
  📚🧙‍♂️ Wisdom indexer — use AI to organize text snippets so you can actually remember & learn from what you read
  ☆146Updated last month
• westoncb / latent-langs
  ☆27Updated 9 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• cosmicoptima / loom
  A Loom implementation in Obsidian
  ☆297Updated 2 months ago
• SpellcraftAI / cli
  All Spellcraft CLI tools.
  ☆76Updated last year
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆59Updated last year
• yacineMTB / scribepod
  Some of the scripts I use for scribepod @ https://scribepod.substack.com/, an automated AI podcast
  ☆169Updated 2 years ago
• socketteer / worldspider
  gpt completions in vscode
  ☆34Updated 2 years ago
• C0deMunk33 / bespoke_automata
  Bespoke Automata is a GUI and deployment pipline for making complex AI agents locally and offline
  ☆220Updated last year