Paweł Marczewski's repositories
fpga-tutorial
FPGA tutorial
AOS
Advanced Operating Systems project
graphene
Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
meson
The Meson Build System
mypy
Optional static typing for Python
mypy-pycharm
A plugin providing both real-time and on-demand scanning of Python files with Mypy from within PyCharm/IDEA.
Pyrseas
Provides utilities for Postgres database schema versioning.
qubes-core-admin
Qubes component: core-admin
qubes-core-admin-client
Qubes management API client
qubes-core-agent-linux
Qubes component: core-agent-linux
qubes-desktop-linux-xfce4
Qubes component: desktop-linux-xfce4
qubes-gui-agent-linux
Qubes component: gui-agent-linux
qubes-gui-daemon
Qubes component: gui-daemon
qubes-linux-kernel
Qubes component: linux-kernel
three.js
JavaScript 3D library.
tomlc99
TOML C library
v86
x86 virtualization in your browser, recompiling x86 to wasm on the fly
xen
Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)