Alternatives and similar repositories for ChatSH

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

• HigherOrderCO / HVM3
  HVM3
  ☆275Updated last month
• VictorTaelin / AI-scripts
  Some handy AI scripts
  ☆640Updated this week
• HigherOrderCO / kindbook
  ☆54Updated 10 months ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated 2 years ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• 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…
  ☆27Updated last year
• HigherOrderCO / hvm-64
  ☆493Updated last year
• jbrukh / gpt-jargon
  Jargon is a natural language programming language specified and executed by LLMs like GPT-4.
  ☆236Updated 2 years ago
• kindelia / Kindelia
  An efficient, secure cryptocomputer
  ☆615Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆77Updated last year
• jeffbinder / promptarray
  Text generator prompting with Boolean operators
  ☆181Updated last month
• SpellcraftAI / cli
  All Spellcraft CLI tools.
  ☆77Updated 2 years ago
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated last year
• adamnemecek / traceoid.ai
  ☆107Updated 11 months ago
• minosvasilias / gpt-manifold
  An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.
  ☆34Updated last year
• saulpw / aipl
  Array-Inspired Pipeline Language
  ☆120Updated 2 years ago
• shog-ai / shoggoth
  Shoggoth is a peer-to-peer network for publishing and distributing open-source Artificial Intelligence
  ☆234Updated last year
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆281Updated last year
• knowsuchagency / llmo
  Your friendly terminal-based AI pair programmer
  ☆41Updated 2 years ago
• HigherOrderCO / Bend2
  Bend2 - WIP
  ☆228Updated this week
• lukaesch / crustagi
  CrustAGI is an Task-driven Autonomous Agent experiment written in Rust
  ☆45Updated 2 years ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆112Updated last year
• VictorTaelin / AIEMU
  Simple AI-based (Claude-3) game emulator
  ☆46Updated last year
• yacineMTB / scribepod
  Some of the scripts I use for scribepod @ https://scribepod.substack.com/, an automated AI podcast
  ☆172Updated 2 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• simonw / llm-mlc
  LLM plugin for running models using MLC
  ☆191Updated last year
• westoncb / latent-langs
  ☆27Updated last year
• socketteer / worldspider
  gpt completions in vscode
  ☆35Updated 2 years ago
• jbilcke / latent-browser
  Latent web browser
  ☆273Updated 8 months ago
• taranjeet / awesome-claude
  An awesome list of AnthropicAI' Claude model
  ☆52Updated 2 years ago