Lists (14)
benchmarks
micro-benchmarking, simulation, replay, etcdeploy
bootstrap, spin-up, (debian) preseed, pivoting, (solaris) jumpstart, RHEL/fedora/centos kickstart, sandbox, testbeddfir
repositories to study digital forensics and incident responsefamtombin
repos to study binary exploitationfuzza
compiler-based instrumentation tools for fuzz testing, fuzzinggamerev
repos to study game reversinghfpd
compilers: lexers, parsers, AST handling, IR lowering, etc; up to the start of the assembler stage; HoTT, Lambda calculus, category theory, discrete mathPLT
rev
repos to study reversingtheorem-provers
tracing
mostly at the kernel abstraction level instead of language libraries due to "safepoint bias" and securityui-ux-vis
indexing cool libraries for UI/UX and data visualizationutils
miscellaneous tools for setting up *nix/UNIX-like/unix-family operating systemsvirt
virtualization 101, linux-kernel orientedStars
quic / qemu
Forked from qemu/qemuOfficial QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
containerd shims for running WebAssembly workloads in Kubernetes
Helm chart for a Docker registry. Successor to stable/docker-registry chart.
The first and only publicly available Minecraft XDP Filter, protecting your server from layer 7 DDoS attacks
A Python interface to RFC 2743/2744 (plus common extensions)
An OCaml library for describing and simulating synchronous finite state machines")
Jupyter magics and kernels for working with remote Spark clusters
An experimental mutual induction tactic for Lean 4.
Hazel, a live functional programming environment with typed holes
AppImage for Cisco Packet Tracer
being a particular fragment of Haskell, extended to a proof system
A Scala library for controlling/interacting with Isabelle
types for various combinatory systems, especialy tree calculi
Enhancements tracking repo for Kubernetes
Continuation Queues: Embeddable asynchronous networking, threading, and notification framework for Lua on Unix.