Explore projects

forked from nvmd/nixos-raspberrypi

forked from nixos/nix

forked from ngi-nix/ngipkgs

forked from torvalds/linux

forked from leanprover/lean4

forked from homebrew/homebrew-cask

forked from golang/go

forked from coq/coq

yet another dotfiles repo with nix

Record messages and transactions exchanged.

PKI to share x.509 test certificates, simulation of ATNA and XUA actors, validation service of ATNA messages and XUA assertions.

Non Deterministic Abstract Machine Generation in Skeletal Semantics