A fancy self-hosted monitoring tool

Smokeping docker instance

Intel SGX code sample: Gateway Key Provisioning and Secure Signing. From https://software.intel.com/content/www/us/en/develop/articles/code-sample-gateway-key-provisioning-and-secure-signing-using-…

Tool to verify the reproducibility of SGX enclave builds

Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.

Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)

AES encryption function using Intel, ARMv8 and Power8 intrinsics

Native Rust implementation of the FST waveform format from GTKWave.

BitVector and Array Arithmetic library

wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.

Setup scripts for processor simulation

Konata is an instruction pipeline visualizer for Onikiri2-Kanata/Gem5-O3PipeView formats. You can download the pre-built binaries from https://github.com/shioyadan/Konata/releases

Like VexRiscv, but, Harder, Better, Faster, Stronger

Script that greps anything in the sources of every opam packages

Stdcompat: compatibility module for OCaml standard library

ocamlformat hook for pre-commit

Auto-formatter for OCaml code

Convert a cmi file back to an mli interface

Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form

Map OCaml arrays onto C-like structs

Minimal support for Canonical S-expressions

Format string experimentations

Open records implemented using map over universal type

Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer

OCaml PPX extension for overriding modules

Traversable data structures with applicative functors

OCaml syntax extension for quoting code

OCaml bindings for Clang