kschwab
Senior Member of Technical Staff at Micron Technology. Currently leading firmware simulation architecture and design. Ph.D student @BoiseState studying SW Eng.
Micron TechnologyBoise, Idaho
Pinned Repositories
.doom.d
Doom Emacs Configuration
CS573-Assignments-Vagrant-Node-JS
Extra credit for CS573 HW 8, Problem #24.
CS573-Final-Project
CS573 Final Project Flatpak Example
dockerw
Docker run wrapper script
glibc
GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
libaco
A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞
pydantic-settings
Settings management using pydantic
pydantic
Data validation using Python type hints
kschwab's Repositories
kschwab/.doom.d
Doom Emacs Configuration
kschwab/CS573-Assignments-Vagrant-Node-JS
Extra credit for CS573 HW 8, Problem #24.
kschwab/CS573-Final-Project
CS573 Final Project Flatpak Example
kschwab/dockerw
Docker run wrapper script
kschwab/glibc
GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.
kschwab/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
kschwab/libaco
A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞
kschwab/pydantic-settings
Settings management using pydantic