Linux drivers for sunscreen UV camera with proprietary protocol

On-device TTS model by Neuphonic

dev tools, env vars, task runner

Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)

18F’s guides equip 18F teams, our partners, other practitioners, lawmakers, and the public with tools and practices to improve public services. They affirm experiences, build confidence, and empowe…

A collection of notebooks/recipes showcasing some fun and effective ways of using Claude.

A concise, beginner-friendly introduction to the core ideas of linear algebra.

A declarative, minimal SPA router for Svelte 5, without SvelteKit.

Modern build system based on CMake and TOML.

State-of-the-art TTS model under 25MB 😻

Hierarchical Reasoning Model Official Release

Super simple build framework with fast, repeatable builds and an instantly familiar syntax – like Dockerfile and Makefile had a baby.

GenAI Agent Framework, the Pydantic way

Interactive ROS 2 launch file visualizer for VS Code. Explore and debug launch graphs with an intuitive UI.

A simple and intuitive graphical tool to visualize behaviour tree XML files

Build GUI for your Python program with JavaScript, HTML, and CSS

Static checker for GitHub Actions workflow files

ros2 minecraft mod

Robotics Knowledge Base. The Wiki for Robot Builders.

XLeRobot: Practical Dual-Arm Mobile Home Robot for $660

A small Python module for determining appropriate platform-specific dirs, e.g. a "user data dir".

by ex-googlers, for ex-googlers - a lookup table of similar tech & services

Headless renderer and test helper for Kivy framework

An ultra-fast and highly robust kinematics library for C++ or ROS2 using DH parameters.

Automation for analyzing changes to the rosdep database and rosdistro index

Minimal AF Launcher for Android. Reduce your screen time. Daily wallpapers.