stupaq/promela-szymanski
Promela model and analysis of Szymanski's mutual exclusion algorithm.
Developer Profile
stupaq
Discovered public repositories for stupaq in the GitHub catalog.
stupaq/cloud-atlas
System for managing large collections of distributed resources based on Astrolabe paper.
stupaq/linux-file-tracer-tests
Userland tests for linux-file-tracer.
stupaq/linux-file-tracer
Linux kernel per-file syscalls tracing using ftrace.
stupaq/sos-kernel
Simple OS kernel with paging, vfs, elf loader, ipc and lightweight threading. For educational purposes only.
stupaq/jvmm
A Java-like interpreted and compiled language written in Haskell.
stupaq/linux-crcdev
CRC32 device driver for Linux 2.6.34.8
stupaq/slr-parser
An SLR(1) parser written in SICStus Prolog.
stupaq/elf-oloader
ELF object files loader in userspace for Linux.
stupaq/mcast-radio
Single threaded, multicast-based internet radio with retransmissions, 'graphical' telnet interface using libevent. State of art.
stupaq/minix-futex
A simple fast userspace mutex implementation for MINIX 3.