Jorge A. Garcia's repositories
vscode-tlaplus
TLA+ language support for Visual Studio Code
bpf_conformance
Measures the conformance of a BPF runtime to the ISA.
ebpf-docs
eBPF Standard Documentation
wasm-kernel-module
Linux Kernel module running WASM filters with wasm3
kernel_common-5.10
Generic Linux 5.10 kernel sources.
pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
chatblade
A CLI Swiss Army Knife for ChatGPT
minixfromscratch
Development and compilation setup for the book version of MINIX (3.1.0) on QEMU
chrome-ssh-agent
SSH Agent for use with Google Chrome's Secure Shell extension
ebpf-for-windows
eBPF implementation that runs on top of Windows
Curso-OMI
Curso introductorio a la OMI - omegaUp
xv6-rust
🦀️ Re-implement xv6-riscv in Rust
iowatcher-ng
An iowatcher for the moden age. Uses blktrace and blkparse to generate data for a Prometheus scraper to allow for IO observability at scale!
ubpf
Userspace eBPF VM
sshfs
A network filesystem client to connect to SSH servers
cilium
eBPF-based Networking, Security, and Observability
automa
A chrome extension for automating your browser by connecting blocks
nebula
A scalable overlay networking tool with a focus on performance, simplicity and security
edk2
EDK II
ngrok
Introspected tunnels to localhost
deviceplane
Open source device management for embedded systems and edge computing
gfoo
a Go scripting language
mosquitto
Eclipse Mosquitto - An open source MQTT broker
opentitan
OpenTitan: Open source silicon root of trust
traefik
The Cloud Native Edge Router
git
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.
navi
An interactive cheatsheet tool for the command-line
rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
xv6-riscv
Xv6 for RISC-V