IDNI / tau-langLinks
☆78Updated this week
Alternatives and similar repositories for tau-lang
Users that are interested in tau-lang are comparing it to the libraries listed below
Sorting:
- ☆104Updated 10 months ago
- A tree-based prefix cache library that allows rapid creation of looms: hierarchal branching pathways of LLM generations.☆72Updated 7 months ago
- ElizaOS agent powered by Knowledge Graph memories. Based on the ElizaOS plugin enabling integration with the OriginTrail Decentralized Kn…☆38Updated last month
- look how they massacred my boy☆63Updated 11 months ago
- ☆80Updated last month
- Modify Entropy Based Sampling to work with Mac Silicon via MLX☆49Updated 11 months ago
- The Prime Intellect CLI provides a powerful command-line interface for managing GPU resources across various providers☆97Updated this week
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- Training GPTs to solve interaction nets☆17Updated last year
- MeTTa programming language implementation☆207Updated this week
- ☆33Updated 7 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- explore token trajectory trees on instruct and base models☆133Updated 4 months ago
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆32Updated 7 months ago
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆21Updated last year
- ☆45Updated last month
- Model Context Protocol (MCP) server for constraint optimization and solving"☆135Updated 3 weeks ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆274Updated 11 months ago
- Implementation☆25Updated 6 months ago
- Plotting (entropy, varentropy) for small LMs☆98Updated 4 months ago
- This repository explains and provides examples for "concept anchoring" in GPT4.☆71Updated last year
- ☆40Updated last year
- Using Large Language Models for Repo-wide Type Prediction☆112Updated last year
- ☆31Updated 4 months ago
- ☆36Updated 8 months ago
- LLMap solves context extraction for large codebases☆109Updated 7 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆73Updated 3 months ago
- ☆131Updated last week
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- Approximating the joint distribution of language models via MCTS☆21Updated 11 months ago