Vittorio Zaccaria's repositories
bsvc-2.1-macosx
Command line 68k assembler and simulator
linux-kernel-playground
Reproducible Linux kernel playground for the AOS course
netlistsvg
draws an SVG schematic from a JSON netlist
Language:TeX000
Language:TeX000
Language:TypeScriptMIT000
Language:HaskellBSD-3-Clause000
Language:Dockerfile000
Language:Dockerfile000
codeserver-rust
A Visual Studio Code Server container image with some rust extensions.
Language:Dockerfile000
Language:HaskellBSD-2-Clause000
design-tools
tools for design and interpretation of haskell programs
Language:HaskellBSD-3-Clause000
docker-cups-airprint
Dockerized CUPS/AirPrint
GPL-3.0000
dotfiles
custom linux config files - managed via gnu stow
Language:Shell000
Language:Rust000
firenvim
Embed Neovim in your browser.
GPL-3.0000
Language:HaskellBSD-3-Clause000
Language:Verilog000
Language:Makefile000
Language:Dockerfile000
satex
String diagrams in LaTeX.
Language:OCamlGPL-3.0000
Language:TeX000
Language:TeX000
vzaccaria.github.io
GitHub Page for V. Zaccaria
Language:JavaScript000
Language:TeX000
xv6-riscv
Xv6 for RISC-V
Language:CNOASSERTION000