Skip to content
View Baevsky's full-sized avatar
  • Higher School of Economics

Block or report Baevsky

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

397 results for source starred repositories
Clear filter

Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"

Lean 24 4 Updated Feb 5, 2026

NVIDIA FastGen: Fast Generation from Diffusion Models

Python 513 26 Updated Jan 28, 2026

Your browser catches homograph attacks. Your terminal doesn't. Tirith guards the gate — intercepts suspicious URLs, ANSI injection, and pipe-to-shell attacks before they execute.

Rust 1,481 43 Updated Feb 6, 2026

Leaderboard Comparing LLM Performance at Producing Hallucinations when Summarizing Short Documents

Python 3,055 93 Updated Feb 6, 2026

Comprehensive open-source library of AI research and engineering skills for any AI model. Package the skills and your claude code/codex/gemini agent will be an AI research agent with full horsepowe…

TeX 2,479 206 Updated Feb 6, 2026

The 2025 consolidation of AI use case inventories across U.S. Federal agencies.

130 14 Updated Jan 28, 2026

Gauzilla: a 3D Gaussian Splatting renderer written in Rust for WebAssembly with lock-free multithreading

JavaScript 584 46 Updated May 23, 2025

📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG

Python 13,876 999 Updated Jan 25, 2026

Blueprint for the PNT+ Project

Lean 255 71 Updated Feb 7, 2026

Skill + MCP server for recursive LLM reasoning. Load context, iterate with search/code/think tools, converge on answers.

Python 131 17 Updated Feb 7, 2026

PersonaPlex code.

Python 4,772 695 Updated Jan 24, 2026

Algorithm powering the For You feed on X

Rust 15,038 2,608 Updated Jan 20, 2026
Shell 2 Updated Jan 20, 2026

Agent Reinforcement Trainer: train multi-step agents for real-world tasks using GRPO. Give your agents on-the-job training. Reinforcement learning for Qwen2.5, Qwen3, Llama, and more!

Python 8,579 711 Updated Feb 7, 2026

Our solution to Putnam 2025.

Lean 70 1 Updated Jan 9, 2026

A Claude Skill for implementing executable verification of assumptions

Shell 4 2 Updated Jan 8, 2026

~950 line, minimal, extensible LLM inference engine built from scratch.

Python 406 33 Updated Jan 9, 2026

VR-based Teleoperation for Dexterous Manipulation - Control xArm + Inspire Hands with Vive Trackers and Quest Hand Tracking

Python 58 4 Updated Jan 5, 2026

A character-level language diffusion model trained on Tiny Shakespeare

Python 850 81 Updated Jan 16, 2026

Explore the answer-space of open LLMs

Python 187 5 Updated Jan 19, 2026

Become skilled in Artificial Intelligence, Machine Learning, Generative AI, Deep Learning, Data Science, Natural Language Processing, Reinforcement Learning and more with this complete 0 to 100 rep…

2,897 561 Updated Jul 1, 2025

A FOSS Git multiplatform client for newbies and pros

Kotlin 2,292 118 Updated Feb 1, 2026

Fuzzy Finder in rust!

Rust 6,534 235 Updated Feb 6, 2026

🎒 Token-Oriented Object Notation (TOON) – Compact, human-readable, schema-aware JSON for LLM prompts. Spec, benchmarks, TypeScript SDK.

TypeScript 22,507 989 Updated Jan 23, 2026

Swift Package wrapping WhisperCore and whisper.xcframeworks for on-device speech-to-text transcription on iOS.

C 5 1 Updated Aug 6, 2025

Quick illustration of how one can easily read books together with LLMs. It's great and I highly recommend it.

Python 3,293 411 Updated Nov 18, 2025

Kosmos: An AI Scientist for Autonomous Discovery - An implementation and adaptation to be driven by Claude Code or API - Based on the Kosmos AI Paper - https://arxiv.org/abs/2511.02824

Python 419 76 Updated Jan 26, 2026

Interactive web visualisation for handwritting detection using a simple neural network

JavaScript 612 73 Updated Dec 11, 2025

Python Deep Learning, Third Edition, published by Packt

Jupyter Notebook 72 38 Updated Feb 5, 2026
Next