Stars
π RuView: WiFi DensePose turns commodity WiFi signals into real-time human pose estimation, vital sign monitoring, and presence detection — all without a single pixel of video.
Welcome to GR00T Whole-Body Control (WBC)! This is a unified platform for developing and deploying advanced humanoid controllers. This includes: Decoupled WBC models used in NVIDIA Isaac-Gr00t, Gr0…
An interpreter of Hagino's Categorical Programming Language (CPL).
Source code for the X Recommendation Algorithm
The Tulip Creative Computer - a portable Python synthesizer for music and graphics
A list of tech coops and resources concerning tech coops and worker owned cooperatives in general.
Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
Prototyping an Agda backend to generate training data for machine learning.
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
Self-hosted game stream host for Moonlight.
Julia REPL mode for selecting and running test files and testsets
A collaborative environment for formal, interoperable, conceptual modeling
Grafana Mimir provides horizontally scalable, highly available, multi-tenant, long-term storage for Prometheus.
Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more
The easiest, most secure way to use WireGuard and 2FA.