Stars
macOS Adobe apps download & installer
Translation in Coq of the HOL-Light definition of real numbers using binary natural numbers
skapa-xyz / specs
Forked from filecoin-project/specsThe Filecoin protocol specification
MuhtasimTanmoy / liburing
Forked from axboe/liburingLibrary providing helpers for the Linux kernel io_uring support
MuhtasimTanmoy / netconsd
Forked from facebook/netconsdReceive and process logs from the Linux kernel.
Meta's fleetwide profiler framework
MuhtasimTanmoy / blazesym
Forked from libbpf/blazesymblazesym is a library for address symbolization and related tasks
MuhtasimTanmoy / rustybgp
Forked from osrg/rustybgpBGP implemented in the Rust Programming Language
c3lang / vkQuake
Forked from Novum/vkQuakeVulkan Quake port based on QuakeSpasm
jamesiweobi / shtcut
Forked from Shtcut/shtcut🔥 🔥 🔥 Shtcut is an open-source app that serves as an alternative to Bitly, Rebranded, and Duo software. It transforms your marketing efforts by providing a single platform for efficiency, strategy,…