{{ message }}
Lists (32)
AWS
2 repositories
Blender
1 repository
Blockchain
1 repository
CPU
1 repository
Database
8 repositories
Deno
18 repositories
DevOps
1 repository
Discord
5 repositories
Education
2 repositories
Emulator
1 repository
Game
4 repositories
GitHub Actions
1 repository
GraphQL
3 repositories
Haskell
4 repositories
linter
2 repositories
Minecraft
2 repositories
Monitoring
11 repositories
.NET
27 repositories
Netflix
1 repository
Network
3 repositories
OS
2 repositories
PureScript
1 repository
Python
22 repositories
React
9 repositories
RISCV
1 repository
Rust
76 repositories
Security
2 repositories
Serverless
1 repository
Slack
1 repository
TypeScript
24 repositories
Unity
1 repository
WASM
17 repositories
Stars
Next generation e2e testing framework for web and mobile apps.
GPUI extracted from the Zed monorepo as a standalone workspace, with the layout engine reworked to keep what did not change between frames
Mobile platform support for GPUI — iOS (wgpu/Metal) and Android (wgpu/Vulkan)
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
Docs for humans and agents, built on Astro
programmatic video rendering framework that is actually fast
A TLA+ interpreter and model checker in TypeScript
Official MCP and CLI for Roam Research
Deterministic, sandboxed, content-addressed Rust builds — a Cargo-compatible build tool with a machine-wide shared cache
Towards a More Autonomous Agent System
Accessibility engine for automated Web UI testing
Git designed for AI agents. Open-source, in the spirit of Anthropic's Scion and OpenAI's Pando. Not affiliated with either.
An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.
Input method for macOS and Windows: type on QWERTY, Araso picks English, Korean or Japanese per word
This is an online course where you can learn and master the skill of low-level performance analysis and tuning.
Incremental rust builds up to 92x faster than cargo/rustc