☆114Feb 18, 2026Updated 8 months ago
Alternatives and similar repositories for stratego
Users that are interested in stratego are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An agent skill for Codex, Claude Code and other clients: open-ended research as the exploration of a labyrinth, with a map of what is pro…☆46Oct 9, 2026Updated 2 weeks ago
- Reproduction code for Lattice Deduction Transformers☆42Updated this week
- ☆18Jul 30, 2026Updated 2 months ago
- Experiments for the spectral neuron paper☆23Sep 5, 2026Updated last month
- Composable Bend 2 frontend: checks full Bend and exports a typed Core.Program for backends.☆37Sep 30, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A terminal of blocks with a coding agent beside you, built on nanoui☆36Updated this week
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Sep 11, 2026Updated last month
- Official Code for "Can These Views Be One Scene?"☆21May 22, 2026Updated 5 months ago
- A compiler that transforms computation graphs into the weights of a transformer☆28Aug 9, 2026Updated 2 months ago
- Official Project Page for KL-Regularized Policy Optimization (KLPO) (https://arxiv.org/abs/2610.08963)☆188Oct 10, 2026Updated last week
- 𝕊-FLM: Language Modeling with Hyperspherical Flows☆36Aug 6, 2026Updated 2 months ago
- ☆16Sep 24, 2026Updated 3 weeks ago
- Efficient and simple data mixing with on-policy proxies!☆21May 18, 2026Updated 5 months ago
- Documents related to an attempt with Levent Alpoge to get Claude to finish Balaban's program to construct Yang--Mills. (Under constructio…☆56Updated this week
- 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.
- ☆136Jul 9, 2026Updated 3 months ago
- Agentic PCG: Procedural Content Generation via Tool-using LLMs☆21Jul 11, 2026Updated 3 months ago
- Bend's landing page☆18Sep 9, 2026Updated last month
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- ☆19Mar 10, 2026Updated 7 months ago
- Jev-style structured decisions on DiffusionGemma: the example server from vLLM PR 57250☆115Oct 2, 2026Updated 2 weeks ago
- thread-per-core layer cache implementation☆17Updated this week
- [ECCV2026] 360CityArena☆30Updated this week
- Useful scripts for Making publication ready Python Notebooks☆17May 17, 2016Updated 10 years 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.
- [ICML 2026] Code for V1: Unifying Generation and Self-Verification for Parallel Reasoners.☆39Mar 5, 2026Updated 7 months ago
- SSOG-Attention: Near-linear Visual-Attention and competitive results on ImageNet.☆43Aug 19, 2026Updated 2 months ago
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Nov 11, 2024Updated last year
- an amalgamation of Blender and FreeCAD, driven by an agentic harness☆64Updated this week
- PyTorch Code for Explorative Modeling: Unlocking a Third Pretraining Axis and End-to-End Generation☆249Sep 30, 2026Updated 3 weeks ago
- ☆55Updated this week
- Examples of Nix WASI derivations written in Rust☆14Jan 23, 2026Updated 8 months ago
- Implementation of the LDP module block in PyTorch and Zeta from the paper: "MobileVLM: A Fast, Strong and Open Vision Language Assistant …☆15Mar 11, 2024Updated 2 years ago
- ☆27Jan 22, 2026Updated 9 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Neural theorem proving tutorial, version II☆39Apr 26, 2024Updated 2 years ago
- A small, smooth activity monitor built on nanoui, with graff in the corner☆88Updated this week
- ModSleuth builds evidence-grounded dependency graphs for LLM releases from public artifacts such as model cards, dataset cards, technical…☆17Jun 15, 2026Updated 4 months ago
- Experiments with Two-sided Gaussian tests for BH☆21Jul 13, 2026Updated 3 months ago
- ☆104Jul 17, 2026Updated 3 months ago
- Minimal RLM harness☆68Updated this week
- Pytest plugin that runs PyStack on slow or hanging tests.☆21Oct 14, 2026Updated last week