mschwaig
I'm a PhD student at JKU in Austria, interested in reproducibility and proving the link between a running system and it's source code.
Linz, Austria
Pinned Repositories
arcface-tensorflowlite
ArcFace face recognition implementation in Tensorflow Lite.
howto-install-nix-with-flake-support
A step-by-step manual for installing nix with flake support
nixos-config
config files that describe all my nixos-based client devices and servers
nixpkgs
Nix Packages collection
sd-image-determinism-example
The root derivation that adds the firmware partition to make the full image sould be deterministic here due to the changes in https://github.com/NixOS/nixpkgs/pull/158967
simple-nix-expression
A simple example derived (heh) from Nix Pill #7
supply-chain-security-course-topics
sysprog-vm
the virtual machine image used in my systems programming course
tensorflow-hello-world-nix-flake
A hello-world project for testing if TensorFlow 2 is properly installed and available via Nix on x86_64 and aarch64
mschwaig's Repositories
mschwaig/howto-install-nix-with-flake-support
A step-by-step manual for installing nix with flake support
mschwaig/sd-image-determinism-example
The root derivation that adds the firmware partition to make the full image sould be deterministic here due to the changes in https://github.com/NixOS/nixpkgs/pull/158967
mschwaig/supply-chain-security-course-topics
mschwaig/arcface-tensorflowlite
ArcFace face recognition implementation in Tensorflow Lite.
mschwaig/blackboard
A (very) unfinished OpenType Math layout and rendering engine in Racket
mschwaig/broken_follows_poc
PoC for https://github.com/NixOS/nix/issues/4808
mschwaig/dhall-nethack
Generate NetHack configurations using Dhall
mschwaig/nixos-config
config files that describe all my nixos-based client devices and servers
mschwaig/nixpkgs
Nix Packages collection
mschwaig/r13y.com
NixOS Reproducibility Checker
mschwaig/robotnix
Build Android (AOSP) using Nix
mschwaig/sysprog-vm
the virtual machine image used in my systems programming course
mschwaig/sysprog21-automation
Automate parts of the grading and feedback cycles of the systems programming course at JKU.
mschwaig/home-manager
Manage a user environment using Nix [maintainer=@rycee]
mschwaig/llama.cpp
Port of Facebook's LLaMA model in C/C++
mschwaig/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
mschwaig/mach-nix
Create highly reproducible python environments
mschwaig/mach-nix-reproduce-flake-issues
mschwaig/naersk
Build rust crates in Nix. No configuration, no code generation, no IFD. Sandbox friendly.
mschwaig/nix
Nix, the purely functional package manager
mschwaig/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
mschwaig/pylti1.3-flask-example
PyLTI1p3 Flask usage example
mschwaig/queued-build-hook
Queue and retry Nix post-build-hook [maintainer=@adisbladis]
mschwaig/robotnix-config
Robotnix configs for reproducibility testing.
mschwaig/site
The new frontend/backend code for https://christine.website
mschwaig/sysprog21-automation-example
working example for mschwaig/sysprog21-automation
mschwaig/tensorflow
An Open Source Machine Learning Framework for Everyone
mschwaig/tflite-rs
mschwaig/tflite-rs-downloads
Result of calling download_dependencies.sh in tensorflow lite
mschwaig/tflite-rs-not-building
tflite-rs fails to link when built with naersk / nix build