dmitris

tcbpftest

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

cosign-keyless

test for cosign keyless verification and sigstore/cosign PR 2845

adventofcode

Asynchronous-Programming-in-Rust

Asynchronous Programming in Rust

aya-book

bpf-linker

Simple BPF static linker

cosign

Container Signing

crypki

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

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-crypto

Fork of go/x/crypto, providing an up-to-date OpenPGP implementation

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

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

sd-local

Screwdriver local mode

SecretBench

SecretBench is a dataset consisting of different secret types collected from public open-source repositories.

semgrep-go

Go rules for semgrep and go-ruleguard

sigstore-docs

Sigstore documentation

testify

A toolkit with common assertions and mocks that plays nicely with the standard library

timestamp-authority

RFC3161 Timestamp Authority