razvand
education, communities, technology
University POLITEHNICA of Bucharest (@cs-pub-ro) / Unikraft (@unikraft)Bucharest, Romania
Pinned Repositories
cbmc-test-cases
Test cases for CBMC (C Bounded Model Checker)
godfatherism
Kinship relationship among public figures in Romania
ios-command-line-tool
Example showing how to build a standalone iOS executable using Xcode.
linux-advanced
Linux Advanced Training
operating-systems-oer
Teaching resources (OER) for Operating Systems
posix-system-programming
Training on POSIX System Programming
secure-programming-java
Secure Programming in Java
snippets
Snippets, scripts, config files
vmchecker-kvm
Minimal KVM/QEMU support in vmchecker
razvand's Repositories
razvand/operating-systems-oer
Teaching resources (OER) for Operating Systems
razvand/methodology
This repo contains all of the materials that comprise the open education hub teaching/learning methodologies.
razvand/binary
razvand/docs
The front page and documentation for the Unikraft Open-Source Project.
razvand/gh-note
razvand/lib-lwip
Unikraft port of the lwip network stack
razvand/linux
Linux kernel source tree
razvand/open-education-hub-site
razvand/run-app-elfloader
Run Unikraft ELF Loader app on Linux executables
razvand/secure-low-level-programming
Secure Low-Level Programming training
razvand/slides
Presentation slides (generally in LaTeX Beamer)
razvand/static-pie-apps
Built Linux applications (static-pie) for Unikraft binary compatibility mode
razvand/template-public
Public template repository
razvand/academic-profile
My academic career profile: CV, publications, applications, promotions
razvand/caddy-website
The Caddy website
razvand/catalog
Unikraft Applications & Examples Catalog
razvand/ccas
Computing and Calculus for Applied Statistics
razvand/cv
My Curriculum Vitae in LaTeX
razvand/dynamic-apps
Pre-built Dynamic Linux ELFs
razvand/examples
KraftCloud Examples and Sample Projects
razvand/go-http-server
A simple Go HTTP server
razvand/my-bibtex-publications
My publications in BibTeX format
razvand/oer-internal-template
Template for internal Open Education Hub repository (open education resurces - OER)
razvand/oer-template
OER Template
razvand/sss-actions
Available CI / CD actions
razvand/test-workflow
Test GitHub workflows
razvand/unikraft
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
razvand/unikraft-bincompat
Unikraft for binary-compatibility mode
razvand/unikraft-scripts
Scripts to interact with Unikraft
razvand/workshop-github