Skip to content
View GainSury's full-sized avatar

Block or report GainSury

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

CakeML: A Verified Implementation of ML

Standard ML 984 86 Updated Jan 1, 2025

Xiaomi Home Integration for Home Assistant

Python 16,158 734 Updated Dec 31, 2024

This version of Proxmox VE is compatible with the arm64, riscv64, and loongarch64 architectures.

937 50 Updated Dec 28, 2024

A CPU tool for benchmarking the peak of floating points

Assembly 515 126 Updated Oct 4, 2024
Jupyter Notebook 48 9 Updated Oct 31, 2021

Apple AMX Instruction Set

C 1,018 49 Updated Dec 26, 2024

Exploring the scalable matrix extension of the Apple M4 processor

C 152 8 Updated Nov 7, 2024

tiniest x86-64-linux emulator

C 7,030 229 Updated Oct 16, 2024

Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89…

C 614 131 Updated Dec 29, 2024

给Android11 x86_64 安装libhoudini arm兼容层,提取自Windows Subsystem for Android™️ (WSA)。A Gearlock package for install libhoudini translation on x86_64 Android11,extracted from Windows Subsystem for Android…

Shell 139 17 Updated Sep 15, 2024

Rosetta2 AVX Implementation Deep Dive

HTML 4 Updated Jun 12, 2024

Ubuntu for Rockchip RK35XX Devices

Shell 2,696 291 Updated Nov 29, 2024

Chromium OS build for RockPro64 and Pinebook Pro

Shell 27 7 Updated Sep 1, 2019

Mirrors of Rockchip BSP repositories, only contains yocto related ones to keep it thin since the yocto would try to clone the whole repository.

C 36 13 Updated Dec 21, 2024

A portage overlay for gentoo, intended to simplify installation of xf86-video-sunxifb

6 7 Updated Mar 31, 2014

Everything we learnt from hacking Arm Mali GPUs.

Shell 155 18 Updated Sep 27, 2024
Shell 11 8 Updated Nov 22, 2024

a community-built Arch Linux Installer for ARM (Aarch64) based devices.

Shell 77 7 Updated Oct 23, 2024

Lockless and ordered, parallel chain reaction processing

C++ 7 3 Updated Dec 28, 2022

Welcome To Debian Termux For Android

Shell 97 30 Updated Jul 24, 2024

ChromiumOS fork with Thorium Browser, x264/x265 codecs, Widevine, Kernel 5.15, Linux firmware/modules support, Nouveau, Intel microcode, and extra packages.

Shell 406 32 Updated Aug 29, 2024

Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚

Python 18,087 994 Updated Dec 31, 2024

A collection of recipes for Chromium OS tinkering and tweaks under openFyde.

28 4 Updated Oct 6, 2024

Entry-point for the ArcHero project, everything begins here.

24 2 Updated Dec 28, 2020

EDK2 UEFI firmware for Rockchip RK3588 platforms

C 507 102 Updated Dec 30, 2024

0D solver for unified gas-plasma kinetics simulations

C++ 6 1 Updated Aug 18, 2024

My wiki with the tutorials I will create for the Fydetab Duo tablet. You can check them on my YT channel: https://www.youtube.com/@LinuxDroidMaster/videos:

17 Updated Aug 15, 2024

Boot ChromeOS on x86_64 PC - Supports Intel CPU/GPU from 8th gen or AMD Ryzen

3,755 397 Updated Dec 26, 2024
Next