diagprov

learn

Various different kinds of experiments involving programming languages. Since this is my own personal experimentation repository, pull requests will not be accepted.

sleigh

SLEIGH Processor Description Lanugage, extracted from Ghidra with VCS History

avatar2

Python core of avatar²

avatar-qemu

QEmu backend for avatar²

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 .

checkelf

checksec.sh

Checksec.sh

cryptocoding

Guidelines for low-level cryptography software

diagprov

dpt-rp1-py

Python script to manage a Sony DPT-RP1 without the Digital Paper App

ephemeris

firmware-demos

Demos of various firmware types.

hal-fuzz

Source code of HAL-fuzz

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.

halucinor

HALucinator Refactoring

helix-editor

A post-modern modal text editor.

httpinfo

Simple go server that replies with basic http info, for diagnostics.

JournalBot

kani

Kani Rust Verifier

learn-fpga

Learning FPGA, yosys, nextpnr, and RISC-V

microwatt

A tiny Open POWER ISA softcore written in VHDL 2008

nom

Rust parser combinator framework

panamax

Mirror rustup and crates.io repositories, for offline Rust and cargo usage.

perscrutar

sleigh-cmake

Unofficial CMake build for Ghidra SLEIGH

smimesign

An S/MIME signing utility for use with Git

smithy

A tiny git forge written in Go

vshelltool

A little gnome shell extension with some useful methods

wave-sign