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 3 weeks ago
• HigherOrderCO / HVM3
  HVM3
  ☆255Updated this week
• HigherOrderCO / kindbook
  ☆52Updated 7 months ago
• HigherOrderCO / hvm-64
  ☆496Updated last year
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• kindelia / Kindelia
  An efficient, secure cryptocomputer
  ☆615Updated 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…
  ☆26Updated last year
• jbrukh / gpt-jargon
  Jargon is a natural language programming language specified and executed by LLMs like GPT-4.
  ☆233Updated 2 years ago
• HigherOrderCO / Bend2
  Bend2 - WIP
  ☆164Updated this week
• snoglobe / prolog_mcp
  ☆22Updated 5 months ago
• SpellcraftAI / cli
  All Spellcraft CLI tools.
  ☆76Updated 2 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 11 months ago
• ad-si / cai
  User friendly CLI tool for AI tasks. Stop thinking about LLMs and prompts, start getting results!
  ☆90Updated this week
• socketteer / clooi
  command loom interface
  ☆108Updated 6 months 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
  ☆235Updated 9 months ago
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated 11 months ago
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆281Updated 11 months ago
• jeffbinder / promptarray
  Text generator prompting with Boolean operators
  ☆178Updated 2 years ago
• neurallambda / neurallambda
  Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
  ☆271Updated 9 months ago
• westoncb / latent-langs
  ☆27Updated 11 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
• modal-labs / devlooper
  A program synthesis agent that autonomously fixes its output by running tests!
  ☆464Updated 11 months ago
• operating-function / pallas
  An event sourced, purely functional application platform.
  ☆60Updated 5 months ago
• yacineMTB / scribepod
  Some of the scripts I use for scribepod @ https://scribepod.substack.com/, an automated AI podcast
  ☆172Updated 2 years ago
• rupertsworld / lang-view
  EXPERIMENTAL – A library for language models to respond with GUI.
  ☆26Updated 2 years ago
• grantslatton / llama.cpp
  Port of Facebook's LLaMA model in C/C++
  ☆45Updated 2 years ago
• jbilcke / latent-browser
  Latent web browser
  ☆270Updated 6 months ago
• capjamesg / knowledge-graph-language
  A query language for exploring knowledge graphs.
  ☆143Updated 3 months ago