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

voicechat-modem-dsp

DSP portion of voicechat-modem

hdl_snippets

A collection of useful HDL snippets

secure-notes-server

Server component of secure notes application

2023-ectf-tools

Support tools for the MITRE 2023 eCTF

axis_ascon

An AXI-Stream Ascon core

CTF-Compendium

A list of CTF problems, techniques and guides mean to be a lookup table to possible solutions of CTF problems

flexi_logger

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

genawaiter

Stackless generators on stable Rust.

ghdl

VHDL 2008/93/87 simulator

ghdl-yosys-plugin

VHDL synthesis (based on ghdl)

ghidra

Ghidra is a software reverse engineering (SRE) framework

indicatif

A command line progress reporting library for Rust

ini_merge

io_wrapper_statistics

merkle-tree-checksum

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

secure-notes-client

Client implementation of secure notes application

sock_trigger_cmd

TheoDORE_py3

Port of the TheoDORE quantum mechanics package (http://theodore-qc.sourceforge.net/) to Python3

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