Lists (29)
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
datalog4 repositories
dna-rna
Подборка опенсорс-инструментов для симуляции репликации ДНК, транскрипции РНК и эволюции последовательностей1 repository
GMT
2 repositories
HoTT
Homotopy Type Theory1 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
Компиляторный арсенал
верификация, фаззинг, оптимизация15 repositories
Редакторы
Текстовые редакторы, плагины и всё для продуктивной работы с кодом.1 repository
Спутники компиляторщика
Сборка, анализ, кэширование: утилиты рядом с компилятором. Build tooling around compilers.8 repositories
Фронтенд‑набор
Атомный CSS, DevTools, утилиты для фронтенда. Atomic CSS engines & frontend tooling.1 repository
Starred repositories
An agentic skills framework & software development methodology that works.
LongCodeZip: Compress Long Context for Code Language Models [ASE2025]
MiMo Code: Where Models and Agents Co-Evolve
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
Public repository of the QuickJS Javascript Engine.
Public repository of the Micro QuickJS Javascript Engine
A crate to provide anonymous row type, which fields can be access by lens-rs
Compiler for Elm, a functional language for reliable webapps.
Convert PDF to markdown + JSON quickly with high accuracy
Transforms complex documents like PDFs and Office docs into LLM-ready markdown/JSON for your Agentic workflows.
An learning project demonstrating a simple implementation of Martin-Löf dependent type theory（MLTT）
A small implementation of graded modal dependent type theory. A younger cousin to Granule.
A curated collection of awesome MoonBit tools, frameworks, libraries and articles.
The design language that makes your AI harness better at design.
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
A pets plugin, built for the latest Minecraft version
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
Production-grade Rust-native trading engine with deterministic event-driven architecture
Local-first code intelligence graph for MCP and CLI. Builds a persistent map of your codebase so AI coding tools read only what matters, with benchmarked context reductions on reviews and large-rep…
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
Flexible concrete Error type built on std::error::Error