wieczyk

Paweł Wieczorek

MgrCoq

Certified NBE procedure for the Martin-Lof type theory -- my master thesis (in progress).

przewodnik_gc

Prototype for simple garbage collector

zgadula

Our solution for ICFP2013, done with

Impala

Impala Operating System - The UNIX-like system. My bechelor's project, done in 2009 with two friends -- shm and takeshi. Kernel supports VM, VFAT(MEMFS, FAT12), ISA DMA, Floppy controller, Sun Slab Allocator, threads. User-space contains zlib, ash, tar, vttest, our libpthread, our libc!

hs64

Simple TCP/IP HTTP server in amd64 assembler.

  1. Prev
  2. 1
  3. 2
  4. Next