IDNI / tau-langLinks
☆72Updated last week
Alternatives and similar repositories for tau-lang
Users that are interested in tau-lang are comparing it to the libraries listed below
Sorting:
- ☆97Updated 6 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 5 months ago
- ☆33Updated 3 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated 10 months ago
- anything you want can be built with morph cloud☆18Updated last month
- Reproduction Package for the paper "back arrowBack to Author Console Type-Constrained Code Generation with Language Models" [PLDI 2025]☆55Updated 2 weeks ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆36Updated 9 months ago
- Code for the Fractured Entangled Representation Hypothesis position paper!☆103Updated last month
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆261Updated 7 months ago
- GroqFlow provides an automated tool flow for compiling machine learning and linear algebra workloads into Groq programs and executing tho…☆107Updated last month
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆59Updated last year
- ElizaOS agent powered by Knowledge Graph memories. Based on the ElizaOS plugin enabling integration with the OriginTrail Decentralized Kn…☆35Updated last month
- Using Large Language Models for Repo-wide Type Prediction☆109Updated last year
- A tree-based prefix cache library that allows rapid creation of looms: hierarchal branching pathways of LLM generations.☆70Updated 4 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆63Updated 3 months ago
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆20Updated 10 months ago
- a WIP architecture designed to allow transformers to think in a manner without tokens☆19Updated last year
- never forget anything again! combine AI and intelligent tooling for a local knowledge base to track catalogue, annotate, and plan for you…☆37Updated last year
- Model Context Protocol (MCP) server for constraint optimization and solving"☆86Updated 2 weeks ago
- Training GPTs to solve interaction nets☆17Updated 10 months ago
- LLMs + Lean, on your laptop or in the cloud☆164Updated last week
- A minimal proof checker.☆74Updated 9 months ago
- TOPLOC: is a novel method for verifiable inference that enables users to verify that LLM providers are using the correct model configurat…☆33Updated 2 months ago
- LMQL implementation of tree of thoughts☆34Updated last year
- Editor with LLM generation tree exploration☆68Updated 4 months ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆26Updated last week
- 🔁 Code iteration tool running on Groq☆76Updated last year
- Experiments with interactive theorem provers, LLMs and formal systems☆21Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- Simple demo showing how to use the Forge API by Nous Research☆11Updated 7 months ago