uxlfoundation/oneMath 780
0xMiden/miden-vm 779
Miden VM turns a program execution into a STARK proof anyone can check
mpvRex/REX-Player 811
REX Player: libmpv playback in a Jetpack Compose shell
unitreerobotics/unitree_lerobot 781
unitree_lerobot: training and testing LeRobot policies on G1 dexterous hand data
berndporr/iir1 780
iir1, a header-only realtime IIR filter library for C++
wroberts/rogauracore 777
rogauracore: a small Linux CLI for the RGB keyboard on Asus ROG laptops
noflo/noflo-ui 779
noflo-ui: a browser based IDE for FBP flow programming
visinf/INSID3 787
INSID3: in-context segmentation on a frozen DINOv3, with no training
sindresorhus/electron-debug 779
electron-debug: keyboard shortcuts for DevTools in Electron apps
libvmi/libvmi 778
LibVMI: reading guest memory from outside the virtual machine
eclipse-californium/californium 779
Californium is the Java implementation of CoAP for IoT cloud services
awslabs/soci-snapshotter 780
soci-snapshotter: lazy loading OCI images without converting them
chrisguttandin/standardized-audio-context 779
standardized-audio-context: a ponyfill for the Web Audio API
dotnet/cli-lab 781
dotnet-core-uninstall: removing .NET SDKs and runtimes cleanly
ximinng/HiVG 781
HiVG turns SVG path data into tokens a 3B model can generate
metasequoiaime/chinese-ime-lm 900
chinese-ime-lm, language models and an evaluation set for Chinese input methods
SwiftyLab/MetaCodable 779