-
-
vscode-tlaplus Public
Forked from tlaplus/vscode-tlaplusTLA+ language support for Visual Studio Code
TypeScript MIT License UpdatedDec 17, 2023 -
bpf_conformance Public
Forked from Alan-Jowett/bpf_conformanceMeasures the conformance of a BPF runtime to the ISA.
C++ MIT License UpdatedJul 20, 2023 -
ebpf-docs Public
Forked from ietf-wg-bpf/ebpf-docseBPF Standard Documentation
Python UpdatedJul 10, 2023 -
wasm-kernel-module Public
Forked from cisco-open/camblet-driverLinux Kernel module running WASM filters with wasm3
C Other UpdatedJul 7, 2023 -
kernel_common-5.10 Public
Forked from GrapheneOS-Archive/kernel_common-5.10Generic Linux 5.10 kernel sources.
C Other UpdatedApr 15, 2023 -
pgo Public
Forked from DistCompiler/pgoPGo is a source to source compiler from Modular PlusCal specs into Go programs.
TLA Apache License 2.0 UpdatedApr 6, 2023 -
chatblade Public
Forked from npiv/chatbladeA CLI Swiss Army Knife for ChatGPT
Python GNU General Public License v3.0 UpdatedMar 20, 2023 -
minixfromscratch Public
Forked from o-oconnell/minixfromscratchDevelopment and compilation setup for the book version of MINIX (3.1.0) on QEMU
C Other UpdatedFeb 23, 2023 -
chrome-ssh-agent Public
Forked from google/chrome-ssh-agentSSH Agent for use with Google Chrome's Secure Shell extension
Go Apache License 2.0 UpdatedFeb 8, 2023 -
ebpf-for-windows Public
Forked from microsoft/ebpf-for-windowseBPF implementation that runs on top of Windows
C MIT License UpdatedJan 28, 2023 -
Curso-OMI Public
Forked from ComiteMexicanoDeInformatica/Curso-OMICurso introductorio a la OMI - omegaUp
C++ Other UpdatedJan 8, 2023 -
xv6-rust Public
Forked from Ko-oK-OS/xv6-rust🦀️ Re-implement xv6-riscv in Rust
Rust MIT License UpdatedJan 3, 2023 -
iowatcher-ng Public
Forked from sbates130272/iowatcher-ngAn iowatcher for the moden age. Uses blktrace and blkparse to generate data for a Prometheus scraper to allow for IO observability at scale!
BSD 3-Clause "New" or "Revised" License UpdatedNov 17, 2022 -
-
sshfs Public
Forked from libfuse/sshfsA network filesystem client to connect to SSH servers
C GNU General Public License v2.0 UpdatedSep 3, 2022 -
cilium Public
Forked from cilium/ciliumeBPF-based Networking, Security, and Observability
Go Apache License 2.0 UpdatedNov 29, 2021 -
automa Public
Forked from AutomaApp/automaA chrome extension for automating your browser by connecting blocks
Vue MIT License UpdatedNov 21, 2021 -
nebula Public
Forked from slackhq/nebulaA scalable overlay networking tool with a focus on performance, simplicity and security
Go MIT License UpdatedSep 27, 2021 -
-
ngrok Public
Forked from inconshreveable/ngrokIntrospected tunnels to localhost
Go Other UpdatedMar 5, 2021 -
deviceplane Public
Forked from deviceplane/deviceplaneOpen source device management for embedded systems and edge computing
Go Apache License 2.0 UpdatedMar 21, 2020 -
-
mosquitto Public
Forked from eclipse-mosquitto/mosquittoEclipse Mosquitto - An open source MQTT broker
C Other UpdatedDec 20, 2019 -
opentitan Public
Forked from lowRISC/opentitanOpenTitan: Open source silicon root of trust
SystemVerilog Apache License 2.0 UpdatedNov 6, 2019 -
traefik Public
Forked from traefik/traefikThe Cloud Native Edge Router
Go MIT License UpdatedSep 28, 2019 -
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
C Other UpdatedSep 22, 2019 -
navi Public
Forked from denisidoro/naviAn interactive cheatsheet tool for the command-line
Shell GNU Affero General Public License v3.0 UpdatedSep 20, 2019 -
rocksdb Public
Forked from facebook/rocksdbA library that provides an embeddable, persistent key-value store for fast storage.
C++ GNU General Public License v2.0 UpdatedSep 18, 2019 -
{{ message }}