Ilia Kravets's starred repositories
model-explorer
A modern model graph visualizer and debugger
nix-installer
Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 2 million installs.
nixos-config
General purpose Nix configuration for macOS / NixOS with starter templates, step-by-step guides, and more ✨
Homeserver
Lightweight home server based on microservices, usable as desktop workstation
verilog-ethernet
Verilog Ethernet components for FPGA implementation
tests-scribe
Test suite for Scribe
linux-2.6-scribe
Scribe: the record-replay mechanism
tests-scribe
Test suite for Scribe
linux-2.6-scribe
Scribe: the record-replay mechanism