✨ Making your shell magical

source code for RTD2662

Seer - a gui frontend to gdb

Raspberry Pi CM4 based NAS solution board

🚀 A fast WebAssembly interpreter and the most universal WASM runtime

Linux led controller for Logitech G213, G410, G413, G512, G513, G610, G810, g815, G910 and GPRO Keyboards

A dynamic tiling extension for KWin

Example implementation of Arm's Architecture Specification Language (ASL)

Set up a personal VPN in the cloud

The DARPA SSITH-funded Government Furnished Equipment on which all secure CPUs are based.

My first Android app: Launch Fusée Gelée payloads from stock Android (CVE-2018-6242)

HFeasy - firmware for HF-LPx100/LPx30 based devices

A FPGA friendly 32 bit RISC-V CPU implementation

linux kernel source used in Remix OS

A custom theme for OpenHab HabPanel

Low-cost LoRa IoT & gateway with SX12XX (SX1261/62/68; SX1272/76/77/78/79; SX1280/81), RaspberryPI and Arduino boards

Intel P-state and CPUFreq Manager Widget

[READ-ONLY] Tools for building and splitting monolithic repository from existing packages (with their history unchanged). This package is used for splitting our monorepo and we share it with our co…

An Embedded Computer Vision & Machine Learning Library (CPU Optimized & IoT Capable)

Simple command line tools to help using Linux spidev devices

Tiny cute emulator plugin for IDA based on unicorn.

Research & Exploitation framework for Qualcomm EDL Firehose programmers

This repository contains several applications, demonstrating the Meltdown bug.

Verilog library for ASIC and FPGA designers

NodeMCU ESP8266 RF Gateway and Display Board

Mirror of https://gitlab.redox-os.org/redox-os/redox