oxc-project / tsrs

Rust port of the TypeScript 7 type checker

Ephemeral-AI-Lab / layerfs

LayerFS gives every agent an isolated, disposable filesystem fork without copying the shared base. Useful states become durable, deduplicated checkpoints with workspace-scoped tool history—ready to branch, rewind, or reuse across parallel development, environment experiments, and MCTS-style rollouts.

fabio-rovai / open-ontologies

Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.

Automattic / harper

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

t3dotgg / lust-lang

lust: a Rust-subset compiler with an incremental daemon (fast dev checks for ts-rust)

ludovic111 / horizon

Minecraft: Java Edition 26.3 rewritten from scratch in Rust, checked against vanilla with 281 differential harnesses. Get it with the Horizon launcher.

tangency-labs / fieldcraft

One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.

reacherhq / check-if-email-exists

Check if an email address exists without sending any email, written in Rust. Comes with a ⚙️ HTTP backend.

NextAgentX / qoder-trae-workbuddy-switch

WorkBuddy / Trae / Qoder国内和国际版账号切换桌面 App（Tauri），支持积分到期监控与签到。 (WorkBuddy / Trae / Qoder desktop app for switching between domestic and international accounts (Tauri), supports monitoring points expiration and check-in.)

lycheeverse / lychee

⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!

model-checking / kani

A model checker for Rust programs.

smart-open / TraeWorkAssistant

AI Work 助手 — Windows/Macos 桌面端 AI 应用多账号管理一体化工具。深度支持 Trae/ WorkBuddy / CodeBuddy / Qoder /豆包 多应用：多账号签到、登录态一键切换、设备标识隔离、账号分组、积分看板、OpenAI 兼容 API 网关。数据全部本地存储。Tauri 2 + React + Rust。

facebook / pyrefly

A fast type checker and language server for Python

crate-ci / typos

Source code spell checker

juspay / hyperswitch-prism

One library | Many payment processors | Scale to multiple processors with few lines of code.

blopker / codebook

An unholy spell checker for code

ubugeeei-prod / vize

blazing fast Vue.js toolchain. compiler, linter, type checker, formatter, lsp, story system, editors. already 30k+ tests.

cocojojo5213 / Dev-Janitor

Cross-platform desktop app for cleaning development artifacts, managing local developer tools, and checking common environment issues.

LowderPlay / cheburcheck

Сайт для проверки блокировок в России

antiburn / antiburn

Fast, free local checks to reduce your token burn. Helps you avoid limits by checking for: sessions too deep, models too powerful, caching broken, unused tools/MCPs/skills, and many more.

ENCHIGO / apple-pickup-watcher

免费开源的苹果直营店到店取货库存监控与到货提醒。Apple Store pickup stock monitor for iPhone, iPad, Mac & Apple Watch in 7 regions. macOS / Windows / Linux · Desktop & Bark alerts · Rust + Tauri.

PowderworksCode / headstart

Start dependent crates before their dependencies finish type-checking

aufkrawall / dlssdl

Check NVIDIA NGX update servers for DLSS SR / RR / FG and Streamline updates and download them with proper consumer file names (egui, D3D12 renderer)

Bencibr / tokenme

TokenMe is a menu bar app that tracks token usage, spend, and remaining quota across all your AI coding tools, so you stop checking each vendor's console. macOS & Windows, plus a CLI. · TokenMe 是一款菜单栏应用，把所有 AI 编程工具的 token 用量、花费和剩余额度汇到一个面板里，不用再挨个翻各家的控制台。支持 macOS 和 Windows，附带命令行工具。

Findomain / Findomain

The fastest and complete solution for domain recognition. Supports screenshoting, port scan, HTTP check, data import from other tools, subdomain monitoring, alerts via Discord, Slack and Telegram, multiple API Keys for sources and much more.

carthage-software / mago

Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.

Canop / bacon

background code checker

kaleidawave / ezno

A correct and efficient TypeScript type checker and compiler with additional experiments

elastio / bon

Next-gen compile-time-checked builder generator, named function's arguments, and more!

rust-lang / polonius

Defines the Rust borrow checker.

obi1kenobi / cargo-semver-checks

Scan your Rust crate for semver violations.

huacnlee / autocorrect

A linter and formatter to help you to improve copywriting, correct spaces, words, and punctuations between CJK (Chinese, Japanese, Korean).

ThousandBirdsInc / chidori

The agent framework where every run is durable, replayable, and resumable by default.

fkie-cad / cwe_checker

cwe_checker finds vulnerable patterns in binary executables

monosans / proxy-scraper-checker

Fast proxy scraper and checker written in Rust. Collects HTTP, SOCKS4 and SOCKS5 proxies from any number of sources, verifies each one really works, and writes JSON and plain text with response time, exit IP, ASN and geolocation. Single binary for Windows, Linux, macOS and Android, with an interactive TUI.

zubanls / zuban

Python Type Checker / Language Server

tekumara / typos-lsp

Source code spell checker for Visual Studio Code, Neovim and other LSP clients

astrio-labs / forall-mcp

Forall (∀) is a coding harness from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.

ancwrd1 / snx-rs

Open Source Client For Check Point VPN Tunnels

RalfJung / cargo-careful

Execute Rust code carefully, with extra checking along the way

nodecloak / nodecloak

NodeCloak for Windows and macOS: isolated browser profiles, per-profile proxies, environment checks, and Claude / Codex / Gemini terminal launchers.

cxqc168-wq / Trae-workbuddyAssistant

Windows desktop multi-account check-in & management tool - Tauri 2 + React 18 + Rust (Trae + WorkBuddy)

AminulBD / ds

Check domain availability across every TLD at once — RDAP first, WHOIS fallback, registration prices, and never a guess.

extracurricular-ai / codex-rewind

Unofficial distribution of OpenAI Codex CLI that adds /rewind and /redo — restores your files, not just the conversation. Git-free snapshots that never touch your git state. Tracks upstream releases; installs as `codexr` alongside the official build.

nicolasmelo1 / software-factory

A method for building software with agents, packaged as a single binary. Every rule that matters is written twice — once as prose that says why, once as a check that fails — and every check has a mutation that proves it fires.

uzokingkong / BTG-packer

A Rust-based x86-64 PE protection framework with RISC program virtualization, polymorphic VM bytecode, CFG transformation, runtime hardening, integrity checks, and execution verification.

sysprog21 / commentflow

Reflow comments in C, C++, Rust, POSIX shell, and GAS assembly

Xuepoo / carryctx

Offline-first project context and durable team management for coding agents. A local SQLite CLI for tasks, sessions, checkpoints, worktrees, and read-only team context.

leandrodaf / 3d-new-era-ai

Open-source home design and floor plan editor in Rust (a Sweet Home 3D alternative) with a built-in MCP server: your AI agent draws walls, furnishes rooms, checks lighting and ergonomics, and renders photos — live, on your own machine.

transact-rs / sqlx

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

tsz-org / tsz

An experiment in fully hand-off software engineering: A performance-first TypeScript checker

cornucopia-rs / cornucopia

Generate type-checked Rust from your PostgreSQL.