Starred repositories
Pragmatic microkernel-based OS with fully asynchronous I/O
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
</> htmx - high power tools for HTML
efficient storage for symmetric matrices
Parallel Computing and Scientific Machine Learning (SciML): Methods and Applications (MIT 18.337J/6.338J)
A C++20 library for sequence-orientated programming
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Functional programming language for signal processing and sound synthesis
Command-line tool for creating .torrent files, powered by dottorrent
A unit test-like interface for fuzzing and symbolic execution
☁️ OxiCloud server, efficient and secure way to save all your data
FaceVerse: a Fine-grained and Detail-controllable 3D Face Morphable Model from a Hybrid Dataset (CVPR2022)
Web based multiplayer football game made with React and p5.js
A utility to create a graph of moves from a specified chess position.
Discover, explore and manage your music library across multiple sources with this beautiful web-based interface. Iris is a Mopidy frontend extension.
A multiroom audio player setup, based on snapcast and mopidy.
DAW project synchronization and collaborative tools for songwriting and managing music! Join our public Slack at the link below!
Client application for controlling a Mopidy music server. Works as a mobile Android app and native application on Linux and Windows. Implemented with Flutter and Dart.
A dynamic DNS client tool that supports AliDNS, Cloudflare, Google Domains, DNSPod, HE.net & DuckDNS & DreamHost, etc, written in Go.
An Arduino library for the ICM20948 9-axis accelerometer, gyroscope and magnetometer. It contains many example sketches with lots of comments to make it easy to use.
A strong UCI chess engine with a neural network based evaluation.