Alan D. Salewski's repositories
rxv64--mfork
"Manual fork" of dancrossnyc/rxv64 (itself a GH fork of mit-pdos/xv6-public). xv6 OS re-implemented in Rust, with C userspace.
aws-sdk-perl
A community AWS SDK for Perl Programmers
book-progit2
Pro Git 2nd Edition
dcernst--IBL-IntroToProof
A textbook for the transition to proof course for mathematics majors utilizing IBL.
ecma262
Status, process, and documents for ECMA-262
ecma402
Status, process, and documents for ECMA 402
ghdl
VHDL 2008/93/87 simulator
incus
Powerful system container and virtual machine manager
iverilog
Icarus Verilog
janet-sqlite3
Bindings to sqlite for the Janet language.
latex3
The LaTeX3 Development Repository
logisim-evolution
Digital logic design tool and simulator
lxd
Powerful system container and virtual machine manager
octox
Unix-like OS in Rust inspired by xv6-riscv
OSXvnc
VNC Server for macOS
pdp7-unix
A project to resurrect Unix on the PDP-7 from a scan of the original assembly code
perl-Getopt-Long
Module Getopt::Long - extended processing of command line options
rust-bindgen
Automatically generates Rust FFI bindings to C (and some C++) libraries.
rustix-rs
Safe Rust bindings to POSIX-ish APIs
shadow-maint--shadow
Upstream shadow tree
ThunderScope
ThunderScope GitHub Repo
xv6-public
xv6 OS
xv6-riscv
Xv6 for RISC-V