Alternatives and similar repositories for ChatSH:

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

• VictorTaelin / AIEMU
  Simple AI-based (Claude-3) game emulator
  ☆46Updated 11 months ago
• VictorTaelin / AI-scripts
  Some handy AI scripts
  ☆627Updated this week
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 11 months ago
• HigherOrderCO / kindbook
  ☆47Updated 4 months ago
• HigherOrderCO / hvm-64
  ☆498Updated 11 months ago
• vgel / logitloom
  explore token trajectory trees on instruct and base models
  ☆65Updated this week
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆59Updated 11 months ago
• meistrari / cursive
  ✦ The intuitive LLM framework
  ☆109Updated 3 months 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
• C0deMunk33 / bespoke_automata
  Bespoke Automata is a GUI and deployment pipline for making complex AI agents locally and offline
  ☆221Updated 11 months ago
• holo-q / OpenQ
  The open-source implementation of Q*, achieved in context as a zero-shot reprogramming of the attention mechanism. (synthetic data)
  Updated 5 months ago
• westoncb / latent-langs
  ☆27Updated 8 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 8 months ago
• socketteer / gitloom
  cli loom that uses git to manage branches
  ☆26Updated 4 months ago
• samefarrar / entropix_mlx
  Modify Entropy Based Sampling to work with Mac Silicon via MLX
  ☆50Updated 6 months ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆109Updated last year
• JoinTheAlliance / bgent
  Flexible, scalable and customizable agents to do your bidding.
  ☆90Updated 4 months ago
• cosmicoptima / loom
  A Loom implementation in Obsidian
  ☆292Updated last month
• socketteer / clooi
  command loom interface
  ☆109Updated 3 months ago
• jbrukh / gpt-jargon
  Jargon is a natural language programming language specified and executed by LLMs like GPT-4.
  ☆232Updated last year
• renlabs-dev / torus-substrate
  The Torus Blockchain implementation.
  ☆16Updated last month
• lukaesch / crustagi
  CrustAGI is an Task-driven Autonomous Agent experiment written in Rust
  ☆44Updated 2 years ago
• MateusZitelli / PromptMate
  PromptMate is your AI partner to develop code.
  ☆90Updated 2 years ago
• snoglobe / prolog_mcp
  ☆15Updated last month
• lynaghk / whispertron
  ☆26Updated last week
• adamnemecek / traceoid.ai
  ☆80Updated 5 months ago
• socketteer / worldspider
  gpt completions in vscode
  ☆34Updated 2 years ago
• socketteer / anthropic-quickstarts
  A collection of projects designed to help developers quickly get started with building deployable applications using the Anthropic API
  ☆32Updated 4 months ago
• jbellis / llmap
  LLMap solves context extraction for large codebases
  ☆88Updated 2 months ago
• hackgoofer / IFS.AI
  ☆29Updated 6 months ago