Lists (32)
Admission
The genealogy of untrusted code admission4 repositories
Algebraic effects
Algebraic effects are a way of adding computational effects to a pure functional setting.1 repository
Allocator
alloc10 repositories
Architecture / Emulators
1 repository
ASP
1 repository
Bob
Holy bob!!!1 repository
C/C++ Compiler
Some C/C++ Compiler2 repositories
Constraint Solvers
OR-Tools CP-SAT2 repositories
Contracts
1 repository
Datalog
datalog5 repositories
dna-rna
Подборка опенсорс-инструментов для симуляции репликации ДНК, транскрипции РНК и эволюции последовательностей1 repository
GMT
GrTT
GRTT (Graded Modal Dependent Type Theory) is a novel type theory that combines dependent type theory with grading.3 repositories
HoTT
Homotopy Type Theory1 repository
Hyper-Metaprogramming
Moving Computations from Run-time to Compile-time1 repository
Linker
static & dynamic linkers, object files, and relocation1 repository
Model Checking
1 repository
paper
1 repository
Prolog
Prolog is a declarative, logic-based programming language.1 repository
Query System
query2 repositories
SAT Solvers & Tools
Satisfiability Solver & Tools17 repositories
Skills-low
Skills about low level dev.2 repositories
SMT solver
z3 and cvc53 repositories
String Solvers
Focuses on the theory of word equations over free monoids.4 repositories
Trait
trait1 repository
Type Inference
1 repository
ZIG CLI
1 repository
Актор
Программные языки и фреймворки, основанные на модели акторов1 repository
Компиляторный арсенал
верификация, фаззинг, оптимизация16 repositories
Редакторы
Текстовые редакторы, плагины и всё для продуктивной работы с кодом.1 repository
Спутники компиляторщика
Сборка, анализ, кэширование: утилиты рядом с компилятором. Build tooling around compilers.8 repositories
Фронтенд‑набор
Атомный CSS, DevTools, утилиты для фронтенда. Atomic CSS engines & frontend tooling.1 repository
Starred repositories
🇷🇺 The best open source projects that were made and mainly contributed by Russian developers
Lightweight implementation of `async-stream` without macros
Write and run Kumir programs on your computer or in a browser.
Detects AI referral traffic from ChatGPT, Perplexity, Gemini, Claude, Copilot, Grok and more via referrer or UTM parameters. Returns a source label or true/false for GA4 events and triggers.
Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks
A proof assistant for higher-dimensional type theory
Minimal and opinionated eBPF tooling for the Rust ecosystem
Automated upstream mirror for libbpf stand-alone build.
LimiX: Unleashing Structured-Data Modeling Capability for Generalist Intelligence https://arxiv.org/abs/2609.17488
Open-source Grok Bot alternative with a virtual machine that bots can use
Solving i18n for client-side and resource-constrained environments.
Best free & open source super agent. Always-on, proactive, sessionless. Browser, computer use, files, remote control. Compatible with ChatGPT/codex and claude code. Selfhost your open source altern…
Unbounded context. Memory that manages itself. One session, for life. The hippocampus for coding agents, part of CortexKit.
DeepInfer: High-performance, large-scale inference framework for DeepSeek models
Taikyoku Shogi engine — the largest known shogi variant (36x36 board, 804 pieces)
An open-source coding agent for your terminal, powered by MiniMax.
Local-first, spec-driven SDLC workbench with governance gates, knowledge graphs, and MCP for AI coding agents.
Local-first MCP coordination hub for multi-agent teams, with durable messaging, handoffs, governance, and observability.
A framework for building native applications using React
Say cheese! Star this repo and your profile picture gets printed out on a receipt printer.
Migrate Durable Objects SLQite data to anywhere, including Postgres, filesystems, and Rivet Actors.
A collection of libraries and tools that help you build adaptive, accessible, and robust user experiences.
An addon root hiding service for KernelSU
基于 REA 深度拆解并高保真还原 Claude 官方桌面端 UI。还原 30 个独立 React 组件与 8 项硬核交互物理算法，附带 3000+ 行逆向分析手册。
The best free and open-source automated time tracker. Cross-platform, extensible, privacy-focused.