Reading diffusion language models for decisions: same OpenJev model, one pass instead of 3.65, +5 points, calibrated, no training. Plus cheap task branches on a frozen encoder.
☆27Sep 29, 2026Updated 2 weeks ago
Alternatives and similar repositories for tarski
Users that are interested in tarski are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Vimscript のみで動く Victoria 3 風の経済グランドストラテジー — 1836年の地球を Vim の中で☆27Aug 22, 2026Updated last month
- Mod to implement OpenVR into the renderer☆98Oct 8, 2026Updated last week
- Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and …☆45Sep 26, 2026Updated 3 weeks ago
- A web-based loop shaping control design tool for analyzing and designing feedback control systems.☆18Jan 16, 2026Updated 9 months ago
- e-Gov法令APIを使用して日本の法令情報を検索・取得するModel Context Protocolサーバー☆49Oct 28, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆45Updated this week
- ☆51Updated this week
- ☆27Jul 16, 2026Updated 3 months ago
- A specialized Claude Code agent that addresses Claude's overly lenient validation standards and visual hallucinations when assessing UI m…☆41Aug 29, 2025Updated last year
- ☆10Oct 26, 2023Updated 2 years ago
- Self-hosted agent jobs that learn. Describe the task once, run it in a disposable sandbox and watch it turn into a script.☆135Updated this week
- Native VR mod for BioShock Remastered: stereo rendering, 6DOF, motion controllers (OpenXR)☆152Updated this week
- MCP server for Japanese labor & social insurance law — e-Gov API, MHLW 通達, JAISH 安衛通達☆64Sep 14, 2026Updated last month
- Declarative automation for repetitive steps in herdr☆32Updated this week
- 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.
- A self-hosted task manager for projects, recurring work, reminders, collaboration and automation. Inspired by Todoist.☆55Updated this week
- ☆38Aug 18, 2025Updated last year
- ☆32Feb 25, 2025Updated last year
- Human in the loop for agentic workflows☆41Updated this week
- [KDD24-ADS] R-Eval: A Unified Toolkit for Evaluating Domain Knowledge of Retrieval Augmented Large Language Models☆11Apr 9, 2024Updated 2 years ago
- A RESTful API server to control ChatdollKit-based AITuber 💬☆13Jan 14, 2025Updated last year
- Open-source desktop AI agent that sees what you see — one hotkey over any window, it answers, acts, or guides you step-by-step.☆41Oct 10, 2026Updated last week
- ☆48Updated this week
- Open Plannotator reviews inside Herdr Browser panes.☆26Jul 29, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Retrieve by relevance, not resemblance: filter an AI assistant's memories with TypeSafe's Jev☆38Sep 20, 2026Updated 3 weeks ago
- 86,420,337 lines — a 10 GB log — open in 80 ms, and 0 bytes of it live in memory. A Mac-native viewer and editor for the files that break…☆36Updated this week
- 360M model running in the browser on WebGPU☆23Aug 20, 2024Updated 2 years ago
- A local review board for work an agent wants a human to look at — agent publishes, you annotate in the browser, feedback flows back as JS…☆58Updated this week
- Lean formalization work extending the matrix multiplication 9/4 argument to arbitrary fields☆30Oct 9, 2026Updated last week
- Create text-behind-image designs in seconds.☆13Sep 7, 2025Updated last year
- Self-hosted server that turns audiobook files into per-chapter podcast RSS feeds any podcast app can play.☆23Updated this week
- ☆10Dec 3, 2024Updated last year
- Typed-decision models (noul / choice / score) trained by a self-improving loop of AI agents — checkpoints, the code that produced them, a…☆117Oct 10, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Wip is a native, standalone CLI for WSL Containers (WSLC), providing native-like interaction with containerized applications.☆39Updated this week
- ☆15Sep 23, 2026Updated 3 weeks ago
- source code exploration and documentation tool☆153Sep 22, 2026Updated 3 weeks ago
- Demonstration of DSPy optimization for Skill.md files☆15Dec 28, 2025Updated 9 months ago
- A command-line tool to extract documentation from Docusaurus sites and convert it to Markdown format.☆15Jun 27, 2025Updated last year
- Tutorials and apps around Agentic Document Extraction☆14Sep 16, 2025Updated last year
- The ChatGPT Retrieval Plugin lets you easily search and find personal or work documents by asking questions in everyday language.☆10Apr 22, 2024Updated 2 years ago