rlee287

hardware-bus-infrastructure

A collection of formal properties for hardware buses, and cores using them.

dag_compute

A library for the construction of arbitrary computation DAGs and the expression of dataflow graphs

range_union_find

A union-find data structure for ranges

hdl_snippets

A collection of useful HDL snippets

secure-notes-server

Server component of secure notes application

voicechat-modem-dsp

DSP portion of voicechat-modem

2023-ectf-tools

Support tools for the MITRE 2023 eCTF

flexi_logger

A flexible logger for rust programs that can write to stderr or to log files

ghdl

VHDL 2008/93/87 simulator

ghdl-yosys-plugin

VHDL synthesis (based on ghdl)

heapless

Heapless, `static` friendly data structures

indicatif

A command line progress reporting library for Rust

ini_merge

io_wrapper_statistics

merkle-tree-checksum

mincore-rs

A safe Rust wrapper around the mincore system call.

once_cell

Rust library for single assignment cells and lazy statics without macros

password-hashes

Password hashing functions / KDFs

prctl_disable_dumpability

A LD_PRELOAD module that disables dumpability

read_chunk_iter

An iterator adapter over a reader that yields fixed-size chunks at a time

riscv-cryptography-samples

riscv-isa-sim

Spike, a RISC-V ISA Simulator

riscv-power-trace-generation

rustcrypto_AEADs

Authenticated Encryption with Associated Data Algorithms: high-level encryption ciphers

rustcrypto_traits

Collection of cryptography-related traits

secure-notes-client

Client implementation of secure notes application

sock_trigger_cmd

version-sync

Keep version numbers in sync with Cargo.toml

zhuia

An elegant but still playful theme for Zola.

zola

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