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
  ☆640Updated 2 weeks ago
• HigherOrderCO / kindbook
  ☆53Updated 9 months ago
• kindelia / Kindelia
  An efficient, secure cryptocomputer
  ☆616Updated last year
• jbrukh / gpt-jargon
  Jargon is a natural language programming language specified and executed by LLMs like GPT-4.
  ☆235Updated 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 / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• HigherOrderCO / hvm-64
  ☆494Updated last year
• HigherOrderCO / HVM3
  HVM3
  ☆266Updated 3 weeks ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated 2 years ago
• shog-ai / shoggoth
  Shoggoth is a peer-to-peer network for publishing and distributing open-source Artificial Intelligence
  ☆234Updated 11 months ago
• snoglobe / prolog_mcp
  ☆22Updated 6 months ago
• minosvasilias / gpt-manifold
  An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.
  ☆33Updated last year
• knowsuchagency / llmo
  Your friendly terminal-based AI pair programmer
  ☆41Updated 2 years ago
• neurallambda / neurallambda
  Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
  ☆279Updated 11 months ago
• socketteer / clooi
  command loom interface
  ☆110Updated 8 months ago
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆58Updated last year
• saulpw / aipl
  Array-Inspired Pipeline Language
  ☆120Updated last year
• MF-FOOM / wikivec2text
  Simple embedding -> text model trained on a small subset of Wikipedia sentences.
  ☆156Updated 2 years ago
• jeffbinder / promptarray
  Text generator prompting with Boolean operators
  ☆179Updated 2 weeks ago
• adamnemecek / traceoid.ai
  ☆106Updated 10 months ago
• ad-si / cai
  User friendly CLI tool for AI tasks. Stop thinking about LLMs and prompts, start getting results!
  ☆125Updated last month
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆76Updated last year
• CyrusNuevoDia / llegos
  A strongly typed Python DSL for developing message passing multi agent systems
  ☆53Updated last year
• HigherOrderCO / Bend2
  Bend2 - WIP
  ☆203Updated this week
• devxpy / anti-chatgpt
  Antivirus for your mind
  ☆129Updated 2 years ago
• jbilcke / latent-browser
  Latent web browser
  ☆273Updated 8 months ago
• DefenderOfBasic / PhD
  Open notebook for my research in culture science
  ☆78Updated 7 months ago
• plastic-labs / honcho
  The Identity layer for the agentic world
  ☆236Updated last week
• vgel / logitloom
  explore token trajectory trees on instruct and base models
  ☆148Updated 5 months ago
• davis68 / martian-computing
  CS 498MC Martian Computing at the University of Illinois at Urbana–Champaign
  ☆63Updated 3 years ago