☆99Oct 13, 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:
- doing a bunch of testing on effect streams (splitting)☆13Nov 20, 2025Updated 10 months ago
- Julia language server, formatter, and linter built in Rust☆61Updated this week
- Sparse Transformers in JAX☆33Sep 17, 2026Updated last month
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated 3 weeks ago
- The Dart Library for the Groq API☆14Nov 28, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A persistent native vector-hypergraph database for higher-order interactions☆25Updated this week
- ☆18Updated this week
- ☆13Apr 10, 2025Updated last year
- ☆11Nov 16, 2019Updated 6 years ago
- A multi-agent business consultant app on streamlit implemented using crewAI☆19Jul 5, 2024Updated 2 years ago
- Running Typst in your Browser☆10Oct 31, 2023Updated 2 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
- Deal with badly organized projects☆11Jan 4, 2026Updated 9 months ago
- Pure Dart Brotli decoder☆13May 15, 2023Updated 3 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 web camera app that transforms photos into short poems☆21Aug 24, 2025Updated last year
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- ☆230Aug 2, 2026Updated 2 months ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆13Jul 6, 2020Updated 6 years ago
- ☆72Updated this week
- TLA+ model checking guided testing for distributed systems☆20Feb 12, 2024Updated 2 years ago
- In-memory key-value store with subscriptions☆26Oct 12, 2026Updated last week
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- Compiler for the Albatross Language☆12Sep 29, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Collection of datastructures for rustlang☆11May 11, 2022Updated 4 years ago
- Lean Companion to Axler's Linear Algebra Done Right☆30Oct 11, 2026Updated last week
- ☆52May 14, 2026Updated 5 months ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆290Nov 3, 2024Updated last year
- ☆119Dec 1, 2024Updated last year
- A safe-ish wrapper for allocating, reallocating and deallocating heap buffers.☆12Jul 4, 2015Updated 11 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated last year
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Experimental rustc plugin that imports C macro constants☆10Jul 7, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- [WIP] Open-source alternative to Antithesis.☆70Jun 9, 2026Updated 4 months ago
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 7 months ago
- ☆10Dec 15, 2016Updated 9 years ago
- 🌲 A transport to filter log lines in the manner of the `debug` module☆12Jun 1, 2026Updated 4 months ago
- Plotly integration for Stipple.jl☆27Oct 2, 2026Updated 2 weeks ago
- Adapting Karpathy's autoresearch to train SAEs on language models.☆19Mar 12, 2026Updated 7 months ago
- Demo: OS sandboxing for unsafe code in Rust☆14Mar 10, 2015Updated 11 years ago