๐ฏ
Focusing
๐I'm Clo91eaf. My area of expertise lies in formal verification
-
HIAS
- Hangzhou, China
-
03:17
(UTC +08:00) - Clo91eaf.github.io
Highlights
- Pro
Lists (6)
Sort Name ascending (A-Z)
Starred repositories
4
stars
written in Nix
Clear filter
Rust toolchains and rust-analyzer nightly for Nix [maintainer=@figsoda]
Rust project template with Nix (Flakes) and VSCode support
Nix template for the chisel-based industrial designing flows.