Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

WebAssembly Transformation Library for the Component Model

A new paradigm for presentations, inspired by slipshow.

OpenCiv3 is an open-source, cross-platform, mod-oriented, modernized remake of Civilization III by the fan community built with the Godot Engine and C#, with capabilities inspired by the best of th…

Verifying the Rust standard library

Filesystem API for WASI

🌠 Manage your shell commands.

This repository contains the course materials of CSCI 4900/6900 Introduction to Cryptography.

My adventures with learning guix

Envision a future where everyone can read all the code of an educational 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

A fast, friendly, functional language.

Bazel 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

Bazel examples

Dart rules for Bazel

An operating system generator, based on nixos, focused on installation

Toy highly-available Kubernetes cluster on NixOS

The Adventures of OS

A simple, stateless NixOS deployment tool [maintainer=@zhaofengli, @stepbrobd, @NickCao]