automata-theory

awesome-rust-machinelearning

This repository is a list of machine learning libraries written in Rust. It's a compilation of GitHub repositories, blogs, books, movies, discussions, papers, etc. 🦀

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

bounds-check-cookbook

Recipes for avoiding bounds checks in Rust, without unsafe!

bpf-docs

Presentations and docs

bpftrace

High-level tracing language for Linux eBPF

bredamatt

bronze-bones

bronze-plated-faucet

caldera

Automated Adversary Emulation Platform

cardano-notes

carma-blockchain-simulator

Stochastic Process Calculus blockchain network simulator

classic-graph-algos

DFS, BFS algos in C++

client-go

Go client for Kubernetes.

contingent-convertibles-pricing

cppweb

A way to host your own C++ written webserver from a docker container

darkteal

Azure SGX centred GoLang Application

decks-v2

dnn_practicals_extras

ebpf-hello-world

ethlint

(Formerly Solium) Code quality & Security Linter for Solidity

gh0stly

greenyellow

Exercises

javapar

Different parallelism approaches in Java

kdb-tick

Latest source files for kdb+tick

kutrace

Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, and post-processing software. Output is HTML/SVG per-CPU-core timeline that you can pan/zoom down to the nanosecond.

lime

LiME (formerly DMD) is a Loadable Kernel Module (LKM), which allows the acquisition of volatile memory from Linux and Linux-based devices, such as those powered by Android. The tool supports acquiring memory either to the file system of the device or over the network. LiME is unique in that it is the first tool that allows full memory captures from

linux

Adding support for the Rust language to the Linux kernel.

llmops-duke-aipi

Official curricula for the LLMOPs course at Duke University

manticore

Symbolic execution tool