Linux kernel source tree

For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.

Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…

Flipper Zero Unleashed Firmware

JavaScript port of Vim

Linux utility to configure modifier keys to act as other keys when pressed and released on their own.

Console-based pandora.com player

Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"

BitVM Groth16 Verifier Toolkit - WIP

HP Touchpad kernel

moboot - Mobile Open Bootloader- bootloader for the HP Touchpad (for now)

Dream/Sapphire Kernel

verify groth16 proof in zkwasm