Alternatives and similar repositories for ChatSH

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

• HigherOrderCO / HVM3
  HVM3
  ☆232Updated this week
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• VictorTaelin / AI-scripts
  Some handy AI scripts
  ☆633Updated 3 weeks ago
• snoglobe / prolog_mcp
  ☆20Updated 4 months ago
• HigherOrderCO / kindbook
  ☆52Updated 7 months ago
• adamnemecek / traceoid.ai
  ☆96Updated 8 months ago
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated 10 months ago
• HigherOrderCO / Bend2
  Bend2 - WIP
  ☆122Updated this week
• jbrukh / gpt-jargon
  Jargon is a natural language programming language specified and executed by LLMs like GPT-4.
  ☆233Updated 2 years ago
• minosvasilias / gpt-manifold
  An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.
  ☆33Updated last year
• SpellcraftAI / cli
  All Spellcraft CLI tools.
  ☆76Updated 2 years ago
• ad-si / cai
  The fastest CLI tool for prompting LLMs. Including support for prompting several LLMs at once!
  ☆88Updated 2 months ago
• kindelia / Kindelia
  An efficient, secure cryptocomputer
  ☆615Updated last year
• shog-ai / shoggoth
  Shoggoth is a peer-to-peer network for publishing and distributing open-source Artificial Intelligence
  ☆235Updated 8 months ago
• kerberosmansour / TLA_AutoRepair
  A TLA+ AutoRepair System For Formal Specification with GPT-4
  ☆14Updated 2 years ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated 2 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 10 months ago
• vgel / logitloom
  explore token trajectory trees on instruct and base models
  ☆134Updated 2 months ago
• refcell / run-wild
  Augment GPT-4 Environment Access
  ☆285Updated 2 years ago
• jayhack / llm.sh
  GPT-3 on your command line
  ☆131Updated 2 years ago
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆281Updated 10 months ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆111Updated last year
• yagil / tokmon
  CLI to monitor your program's OpenAI API token usage.
  ☆57Updated 2 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆58Updated last year
• MateusZitelli / PromptMate
  PromptMate is your AI partner to develop code.
  ☆91Updated 2 years ago
• davis68 / martian-computing
  CS 498MC Martian Computing at the University of Illinois at Urbana–Champaign
  ☆62Updated 3 years ago
• jeffbinder / promptarray
  Text generator prompting with Boolean operators
  ☆178Updated 2 years ago
• meistrari / cursive
  ✦ The intuitive LLM framework
  ☆112Updated 6 months ago
• somewheresystems / dataclysm
  Pull high-quality, efficient embeddings for PubMed, arXiv and Wikipedia from Huggingface and use for local LLM inference/Retrieval Augmen…
  ☆43Updated last year