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
  ☆638Updated 2 months ago
• jbrukh / gpt-jargon
  Jargon is a natural language programming language specified and executed by LLMs like GPT-4.
  ☆233Updated 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…
  ☆26Updated last year
• HigherOrderCO / HVM3
  HVM3
  ☆264Updated last week
• HigherOrderCO / kindbook
  ☆53Updated 9 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• HigherOrderCO / hvm-64
  ☆494Updated last year
• kindelia / Kindelia
  An efficient, secure cryptocomputer
  ☆616Updated last year
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated last year
• snoglobe / prolog_mcp
  ☆22Updated 6 months ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆64Updated 2 years ago
• jeffbinder / promptarray
  Text generator prompting with Boolean operators
  ☆179Updated 3 weeks ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆76Updated last year
• saulpw / aipl
  Array-Inspired Pipeline Language
  ☆120Updated last year
• adamnemecek / traceoid.ai
  ☆103Updated 10 months ago
• VictorTaelin / AIEMU
  Simple AI-based (Claude-3) game emulator
  ☆47Updated last year
• HigherOrderCO / Bend2
  Bend2 - WIP
  ☆190Updated this week
• davis68 / martian-computing
  CS 498MC Martian Computing at the University of Illinois at Urbana–Champaign
  ☆63Updated 3 years ago
• 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
  ☆44Updated 2 years ago
• westoncb / latent-langs
  ☆27Updated last year
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• shog-ai / shoggoth
  Shoggoth is a peer-to-peer network for publishing and distributing open-source Artificial Intelligence
  ☆235Updated 10 months ago
• socketteer / gitloom
  cli loom that uses git to manage branches
  ☆28Updated 9 months ago
• alexobenauer / Breadboard
  ☆19Updated last year
• kerberosmansour / TLA_AutoRepair
  A TLA+ AutoRepair System For Formal Specification with GPT-4
  ☆14Updated 2 years ago
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆58Updated last year
• jasonjmcghee / portable-hnsw
  What if an HNSW index was just a file, and you could serve it from a CDN, and search it directly in the browser?
  ☆107Updated 5 months ago
• vgel / logitloom
  explore token trajectory trees on instruct and base models
  ☆133Updated 4 months ago
• dmotz / emdash
  📚🧙‍♂️ Wisdom indexer — use AI to organize text snippets so you can actually remember & learn from what you read
  ☆159Updated 6 months ago