☆99Nov 6, 2026Updated this week
Alternatives and similar repositories for tau-lang
Users that are interested in tau-lang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- IDNI's parser library☆10Updated this week
- Tau Meta-Language☆125May 31, 2023Updated 3 years ago
- Repository for Vision-Language Programs, a neuro-symbolic framework combining VLMs with program synthesis.☆14Mar 22, 2026Updated 7 months ago
- Installable NumPy reference package, experiment archive, and development scaffold for Dendritrons.☆28Jul 19, 2026Updated 3 months ago
- Giocci: a resource-permeating computing platform for wide-area distributed systems☆13Oct 29, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- doing a bunch of testing on effect streams (splitting)☆13Nov 20, 2025Updated 11 months ago
- Algebraic effects for stable Rust☆20Oct 23, 2026Updated 2 weeks ago
- Sparse Transformers in JAX☆36Sep 17, 2026Updated last month
- ☆13Apr 10, 2025Updated last year
- ☆18Updated this week
- ☆20Updated this week
- ☆11Nov 16, 2019Updated 6 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 8 months ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Feb 27, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A TLA+ AutoRepair System For Formal Specification with GPT-4☆15Jul 23, 2023Updated 3 years ago
- II-Thought-RL is our initial attempt at developing a large-scale, multi-domain Reinforcement Learning (RL) dataset☆30Apr 8, 2025Updated last year
- A persistent native vector-hypergraph database for higher-order interactions☆29Oct 27, 2026Updated last week
- Official code for “Quantifying and Optimizing Simplicity via Polynomial Representations” (ICML 2026).☆18May 11, 2026Updated 5 months ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- ☆51Oct 28, 2026Updated last week
- DSPEx - Declarative Self-improving Elixir | A BEAM-Native AI Program Optimization Framework☆19Aug 27, 2026Updated 2 months ago
- ☆13Apr 5, 2026Updated 7 months ago
- GPT4MAX is a free AI chatbot app built with Next.js, the Vercel AI SDK, and OpenAI GPT-4 Turbo.☆18May 10, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆19Oct 3, 2024Updated 2 years ago
- Simple roguelike set in space☆12Sep 13, 2017Updated 9 years ago
- ☆28May 15, 2024Updated 2 years ago
- an rope data structure☆11Dec 1, 2017Updated 8 years ago
- A Simplified Semantic Data Modeling (S2DM) approach that offers a pragmatic balance between semantic rigor and usability for subject matt…☆18Updated this week
- Push-pull implementation of discrete FRP with totally-ordered switchers☆11Jan 30, 2017Updated 9 years ago
- Compiler for the Albatross Language☆12Sep 29, 2021Updated 5 years ago
- ☆56Oct 20, 2026Updated 2 weeks ago
- ☆33Oct 27, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Paper Reading Summary(mainly NLP related papers)☆11Nov 6, 2019Updated 7 years ago
- ☆12Dec 11, 2014Updated 11 years ago
- Rust implementation of the blake2b/blake2s hash functions☆13Jun 6, 2015Updated 11 years ago
- ☆120Dec 1, 2024Updated last year
- [AAAI'2026] FACTGUARD: Event-Centric and Commonsense-Guided Fake News Detection.☆13Dec 3, 2025Updated 11 months ago
- Conversions between algebraic classes and F-algebras.☆11Jan 5, 2026Updated 10 months ago
- A rust library for a Type Safe IMAP protocol☆13Jun 28, 2016Updated 10 years ago