Stars
This repository contains the course materials of CSCI 4900/6900 Introduction to Cryptography.
Envision a future where every student can read all the code of a teaching operating system.
A simulation of hybrid PUF (HPUF) with pypuf and netsquid in python
Lightning-fast and Powerful Code Editor written in Rust
A library that provides Go Generics friendly "optional" features.
Cap'n Proto serialization/RPC system - core tools and C++ library
A vault for securely storing and accessing AWS credentials in development environments
muff1nman / rules_dhall
Forked from humphrej/rules_dhallBazel rules to build dhall configurations
A cargo-subcommand to speed up Rust Docker builds using Docker layer caching.
Linux Kernel Programming, published by Packt
Extensible SQL Lexer and Parser for Rust
An operating system generator, based on nixos, focused on installation
Toy highly-available Kubernetes cluster on NixOS
A simple multi-profile Nix-flake deploy tool.