- Lafayette, Indiana
-
00:35
(UTC -04:00) - @jevinskie
- @[email protected]
- https://lobste.rs/~jevinskie
- https://keybase.io/jevinskie
Lists (2)
Sort Name descending (Z-A)
Starred repositories
A fancy self-hosted monitoring tool
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.
wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.
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
janestreet / ocamlformat
Forked from ocaml-ppx/ocamlformatAuto-formatter for OCaml code
mjambon / cmitomli
Forked from skydeck/cmitomliConvert a cmi file back to an mli interface
Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form
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