dmitris

tcbpftest

test/demo on using BPF with rust and aya-rs attaching to tc

adventofcode

Asynchronous-Programming-in-Rust

Asynchronous Programming in Rust

aya-book

bpf-linker

Simple BPF static linker

cosign

Container Signing

cosign-keyless

test for cosign keyless verification and sigstore/cosign PR 2845

crypki

A simple service for interacting with an HSM or other PKCS#11 device.

ed25519-dalek

Fast and efficient ed25519 signing and verification in Rust.

fulcio

Sigstore OIDC PKI

gencert

Go program to generate a CA and a certificate signed by that CA.

go-containerregistry

Go library and CLIs for working with container registries

go-daemon

A library for writing system daemons in golang.

kvstore

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

mathlib4

The math library of Lean 4

micrograd

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

NNG4

Natural Number Game

ocaml-tree-sitter-core

OCaml code generator and runtime library for handling typed tree-sitter CSTs

prebid-server

Open-source solution for running real-time advertising auctions in the cloud.

renovatebot.github.io

Auto-generating docs repository for Renovate Bot

Reverse-Engineering

A FREE comprehensive reverse engineering tutorial covering x86, x64, 32-bit ARM & 64-bit ARM architectures.

rust-llama.cpp

LLama.cpp rust bindings

rustc-llvm-proxy

Proxy LLVM calls into Rust own shared library in runtime

sd-local

Screwdriver local mode

semgrep-go

Go rules for semgrep and go-ruleguard

sigstore-docs

Sigstore documentation

sigstore-rs

An experimental Rust crate for sigstore

statistical-learning-ttungl

ttungl's notes on the "Introduction to Statistical Learning" course

timestamp-authority

RFC3161 Timestamp Authority