Antony Vennard's repositories
kani
Kani Rust Verifier
httpinfo
Simple go server that replies with basic http info, for diagnostics.
panamax
Mirror rustup and crates.io repositories, for offline Rust and cargo usage.
halucinator
This is a development repository for continued work on HALucinator. It is not likely to be stable on the default branch (devel) and will be superseded by the avatarinator repository at a future stage.
helix-editor
A post-modern modal text editor.
halucinor
HALucinator Refactoring
firmware-demos
Demos of various firmware types.
bazel_rules_rust
Rust rules for Bazel
cgit
Read-only mirror of https://git.zx2c4.com/cgit/about . Pull requests and issues on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes is via the mailing list; see https://lists.zx2c4.com/mailman/listinfo/cgit .
dpt-rp1-py
Python script to manage a Sony DPT-RP1 without the Digital Paper App
microwatt
A tiny Open POWER ISA softcore written in VHDL 2008
sleigh-cmake
Unofficial CMake build for Ghidra SLEIGH
avatar2
Python core of avatar²
avatar-qemu
QEmu backend for avatar²
vshelltool
A little gnome shell extension with some useful methods
smithy
A tiny git forge written in Go
hal-fuzz
Source code of HAL-fuzz
nom
Rust parser combinator framework
checksec.sh
Checksec.sh
smimesign
An S/MIME signing utility for use with Git
learn-fpga
Learning FPGA, yosys, nextpnr, and RISC-V
cryptocoding
Guidelines for low-level cryptography software