IDNI / tau-lang
☆34Updated this week
Alternatives and similar repositories for tau-lang:
Users that are interested in tau-lang are comparing it to the libraries listed below
- Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles☆40Updated 4 months ago
- An example implementation of RLHF (or, more accurately, RLAIF) built on MLX and HuggingFace.☆24Updated 8 months ago
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆17Updated 6 months ago
- Leveraging DSPy for AI-driven task understanding and solution generation, the Self-Discover Framework automates problem-solving through r…☆58Updated 7 months ago
- ☆66Updated 2 months ago
- Training hybrid models for dummies.☆20Updated last month
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆59Updated last month
- LMQL implementation of tree of thoughts☆33Updated last year
- ☆30Updated 7 months ago
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆15Updated 9 months ago
- Experiments with interactive theorem provers, LLMs and formal systems☆19Updated last year
- ElizaOS agent powered by Knowledge Graph memories. Based on the ElizaOS plugin enabling integration with the OriginTrail Decentralized Kn…☆32Updated this week
- never forget anything again! combine AI and intelligent tooling for a local knowledge base to track catalogue, annotate, and plan for you…☆37Updated 9 months ago
- Implementation☆24Updated last month
- ☆20Updated 3 months ago
- GenAI & agent toolkit for Apple Silicon Mac, implementing JSON schema-steered structured output (3SO) and tool-calling in Python. For mor…☆116Updated this week
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆59Updated 9 months ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆30Updated 10 months ago
- LLMs as Method Actors: A Model for Prompt Engineering and Architecture☆44Updated 3 months ago
- a lightweight, open-source blueprint for building powerful and scalable LLM chat applications☆30Updated 8 months ago
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆30Updated 2 months ago
- MLX Swift implementation of Andrej Karpathy's Let's build GPT video☆57Updated 10 months ago
- Training GPTs to solve interaction nets☆16Updated 6 months ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆18Updated last year
- Factored Cognition Primer: How to write compositional language model programs☆48Updated last year