marinosi/libfetch_c
libfetch-OpenSSL decoupling into different processes.
Developer Profile
marinosi
Discovered public repositories for marinosi in the GitHub catalog.
marinosi/nginx
Complete (unofficial) history of nginx releases
marinosi/weighttp
weighttp on github for easier collaboration - main repo still on lighttpd.net
marinosi/gzip_c
Compartmentalised versions of BSD gzip.
marinosi/fetch_c
A compartmentalised BSD fetch.
marinosi/libsep
libsep (separation library). Contains a minimal RPC library to assist compartmentalisation of small applications.
marinosi/snipmate.vim
snipMate.vim aims to be a concise vim script that implements some of TextMate's snippets features in Vim.
marinosi/llvm
My copy of the LLVM Clang frontend, mirrored from http://llvm.org/git/llvm.git, with some changes for my research.
marinosi/clang
My copy of the LLVM Clang frontend, mirrored from http://llvm.org/git/clang.git, with some changes for my research.
marinosi/TESLA
Temporally Enforced Security Logic Assertions
marinosi/dotfiles
Personal dotfiles and config files