comeillfoo
Follow
Stars
A cryptocurrency tracking platform built with React and Tailwind CSS, leveraging the CoinGecko API to provide real-time data on prices, market trends, and historical statistics. The platform offers…
Asynchronous Rust HTTP client with TLS, JA3/JA4, and HTTP2 fingerprint spoof
oreboot is a fork of coreboot, with C removed, written in Rust.
LMP provides an eBPF Supermarket for developers, including eBPF tools, open-source projects based on eBPF, eBPF learning materials, Linux kernel learning materials, and more.
I2P is an anonymizing network, offering a simple layer that identity-sensitive applications can use to securely communicate. All data is wrapped with several layers of encryption, and the network i…
Unofficial mirror of etalabs musl repository. Updated daily.
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests or any other stuff. All communication should be through the Lua mailing lis…
The official documentation for Raspberry Pi computers and microcontrollers
Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
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…
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems
The official repository for the gem5 computer-system architecture simulator.
ASCII generator (image to text, image to image, video to video)
A quilt-like series of patches plus scripts and .spec files to produce the kernel RPM package. If you are looking for a ready-to-use kernel tree, have a look at https://github.com/openSUSE/kernel
Tracing packets in the Linux networking stack & friends
Verification of Suzuki-Kasami algorithm with Spin Model Checker