eBPF verifier based on abstract interpretation
- abstract-interpretation
- static-analyzer
- ebpf
- ebpf-verifier
Repository Index
47,133 repositories indexed
193–216 of 405 · Most stars
Community Windows startup animation launcher for Codex with live-window handoff and reversible shortcut integration
GameJs is a thin library on top of the HTML canvas element. In addition to the drawing functions it has a set of generally helpful modules for game development.
Static WPF views for elmish programs
- wpf
- xaml
- elm-architecture
- xaml-views
C++ package retrieval
- cmake
- cget
- pkgconfig
- cmake-packages
A 3D vision library from 2D keypoints: monocular and stereo 3D detection for humans, social distancing, and body orientation.
- 3d-object-detection
- 3d-detection
- 3d-deep-learning
- pytorch
Go version of P2P Database on IPFS
Firewall and Privatizing Proxy for Trackers, Attackers, Malware, Adware, and Spammers with Anti-Virus On-Demand and On-Access Scanning (PF, squid, privoxy, hphosts, dshield, emergingthreats, hostsfile, PAC file, clamav)
A simple ASP.NET Core wiki that we are working on during live coding streams
hBPF = eBPF in hardware
A simple shell based file explorer for ESP8266 Micropython based devices ⛺
Easily retargetable and hackable interactive disassembler with IDAPython-compatible plugin API
- reverse-engineering
- disassembler
- ida-plugin
- ida
eBPF-based workload orchestration platform, built for Cloud Native ecosystem.
LordOS — a free, fast and secure GNU/Linux distribution based on Debian, with its own desktop environment: display server and Wayland compositor in C, a React UI engine on QuickJS, and private native apps.
The simplest config loader for Go that reads/watches from file, env, flag and clouds (AWS, Azure, GCP).
- configuration
- go
- golang
- minimalist
SLAM with apriltags
Parse JSON with more helpful errors
The easiest way to create a great walkthrough experience in your apps, powered by Swift.
A simple extension for Jupyter Notebook and Jupyter Lab to beautify Python code automatically using black.
- black-formatter
- black-beautifier
- black
- jupyterlab-extension
A Neovim plugin to make the LSP client use FZF
- neovim-lua
- neovim-plugin
- neovim-lsp
- fzf
OCI hook to trace syscalls and generate a seccomp profile
- syscalls
- bcc
- seccomp-profile
- containers
Get rich, or die codin'
- pfm
- personal-finance
- personal-finances
- money-manager
MyFin Budget - Web frontend for the personal finances platform that'll help you budget, keep track of your income/spending and forecast your financial future.
- pfm
- personal-finance-manager
- personal-finances
- budgeting
Prototyping kernel development work outside mainline
- kernel-modules
- kernel
- xdp
- ebpf-programs