kagia's Stars
rust-lang/a-mir-formality
a model of MIR and the Rust type/trait system
bsdrks/graaf
Work with directed graphs
TransformerOptimus/SuperAGI
<⚡️> SuperAGI - A dev-first open source autonomous AI agent framework. Enabling developers to build, manage & run useful autonomous agents quickly and reliably.
finic-ai/finic
Stealth browsers as a service. Connect your scraper or automation to a fleet of cloud-hosted browsers configured for reliability and stealth.
velsa/ts-env
Strongly typed environment variables
commaai/openpilot
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system in 275+ supported cars.