Show HN: JIT-компилятор агента в код для агентов, доказывающих теорему Z3.
Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents .
GitHub
a1/examples/z3_reasoning at main · stanford-mast/a1
The A1 agent compiler for running AI faster 🏎️ and safer 🏁 - stanford-mast/a1
Запустите любой LLM из Claude Code (GPT-5.1, Gemini, Grok,)
Run Any LLM from Claude Code (GPT-5.1, Gemini, Grok,) .
GitHub
GitHub - derek-larson14/claude-code-openrouter: Claude Code agent that routes to external LLMs (Grok, Gemini, GPT-5, etc.) via…
Claude Code agent that routes to external LLMs (Grok, Gemini, GPT-5, etc.) via OpenRouter - just mention the model name - derek-larson14/claude-code-openrouter
Show HN: DBOS Java — надежные рабочие процессы на базе Postgres
Show HN: DBOS Java – Postgres-Backed Durable Workflows .
GitHub
GitHub - dbos-inc/dbos-transact-java: Lightweight Durable Java Workflows
Lightweight Durable Java Workflows. Contribute to dbos-inc/dbos-transact-java development by creating an account on GitHub.
Философия дизайна программного обеспечения против чистого кода (2024 г.)
A Philosophy of Software Design vs. Clean Code (2024) .
GitHub
GitHub - johnousterhout/aposd-vs-clean-code: A discussion between John Ousterhout and Robert Martin about differences between John's…
A discussion between John Ousterhout and Robert Martin about differences between John's book "A Philosophy of Software Design" and Bob's book "Clean Code&...
Show HN: Audarma — перевод React на базе LLM с интеллектуальным кэшированием
Show HN: Audarma – LLM-powered translation for React with smart caching .
GitHub
GitHub - audarma/audarma: LLM-powered translation system for React/Next.js - translate dynamic content with smart caching.
LLM-powered translation system for React/Next.js - translate dynamic content with smart caching. - audarma/audarma
Canopy Это быстрый интерфейс командной строки, который печатает деревья каталогов.
Canopy It's a fast rust CLI that prints directory trees .
GitHub
GitHub - hnpf/canopy: a rust tool to see your files in a structure
a rust tool to see your files in a structure. Contribute to hnpf/canopy development by creating an account on GitHub.
Promise-render — рендеринг компонентов React как асинхронных функций.
Promise-render – Render React components as async functions .
GitHub
GitHub - qkudev/promise-render: An util for rendering async functions in React
An util for rendering async functions in React. Contribute to qkudev/promise-render development by creating an account on GitHub.
Создавайте приложения с любой модальностью ввода, рассуждения и любой модальности.
Build apps with any modality input, reasoning, and any modality .
Мы открыли исходный код агентской среды, готовой к использованию GAIA, которая позволяет создавать суперагенты за считанные минуты.
We open-sourced a GAIA-ready agent framework that builds super-agents in minutes .
GitHub
GitHub - gaia-agent/gaia-agent: GAIA-benchmark-ready super agent built on AI SDK v6 ToolLoopAgent
GAIA-benchmark-ready super agent built on AI SDK v6 ToolLoopAgent - gaia-agent/gaia-agent
Show HN: забавная платформа для изучения японского языка с открытым исходным кодом, вдохновленная Monkeytype
Show HN: Fun, Open-source Japanese learning Platform inspired by Monkeytype .
GitHub
GitHub - lingdojo/kana-dojo: Fun, aesthetic, minimalist platform for learning and practicing Japanese online.
Fun, aesthetic, minimalist platform for learning and practicing Japanese online. - lingdojo/kana-dojo
Show HN: Crane — нативное приложение для macOS для управления контейнерами Apple
Show HN: Crane – a native macOS app to manage Apple containers .
GitHub
GitHub - glsorre/Crane: a native MacOS app to manage Apple containers
a native MacOS app to manage Apple containers. Contribute to glsorre/Crane development by creating an account on GitHub.
Минималистичный лаунчер для Android с открытым исходным кодом
Open source minimalist Android launcher .
GitHub
GitHub - GeorgeClensy/Escape-Launcher: A minimalist android launcher to help you quit your phone addiction
A minimalist android launcher to help you quit your phone addiction - GeorgeClensy/Escape-Launcher
Show HN: Spatial CAPTCHA – трехмерный тест на пространственное мышление против ботов с искусственным интеллектом
Show HN: Spatial CAPTCHA – 3D spatial reasoning test against AI bots .
GitHub
GitHub - Shining04/Spatial-CAPTCHA
Contribute to Shining04/Spatial-CAPTCHA development by creating an account on GitHub.
Peekpoke: крошечная фэнтезийная консоль в стиле ретро с двумя командами: «смотри и тыкай».
Peekpoke: Tiny retro fantasy console with two commands peek and poke .
GitHub
GitHub - abagames/peekpoke: Tiny minimal retro fantasy console having only two commands: peek and poke.
Tiny minimal retro fantasy console having only two commands: peek and poke. - abagames/peekpoke