Pinned Repositories
bibmanage
Command-line bibliography management.
busbcopy
Batch USB copy script (e.g. for conference proceedings)
cksumdb
Simple BASH script to generate file checksums in various database formats.
cmurphi
CMurphi mirror: http://mclab.di.uniroma1.it/site/index.php/software/18-cmurphi
cppsiphash
SipHash C++11 header-only library
linux
Linux kernel source tree
mc2lib
Memory consistency model checking and test generation library.
murphi.vim
Syntax highlighting for the Murphi model checker
pkgix
Prefix environment and simple package management tool.
scons-bare
Simple build system skeleton using SCons for C/C++ projects
melver's Repositories
melver/scons-bare
Simple build system skeleton using SCons for C/C++ projects
melver/mc2lib
Memory consistency model checking and test generation library.
melver/cmurphi
CMurphi mirror: http://mclab.di.uniroma1.it/site/index.php/software/18-cmurphi
melver/cksumdb
Simple BASH script to generate file checksums in various database formats.
melver/bibmanage
Command-line bibliography management.
melver/busbcopy
Batch USB copy script (e.g. for conference proceedings)
melver/cppsiphash
SipHash C++11 header-only library
melver/linux
Linux kernel source tree
melver/murphi.vim
Syntax highlighting for the Murphi model checker
melver/pkgix
Prefix environment and simple package management tool.
melver/verc3
VerC3: Verification Toolkit for C3
melver/conf
Selected dot files from my home directory.
melver/gwpsan
GWPSan: Sampling-Based Sanitizer Framework
melver/instanyos
Collection of scripts to automate installing selection of any OS on any device.
melver/lancet
A tool to help you launch simulations, organise the output data and dissect the results
melver/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
melver/llvm-zorg
melver/logan
The Universal LOG and Data ANalyser framework
melver/oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software
melver/param
Param: Declarative Python programming using Parameters
melver/passph
Password Pre-Hasher
melver/sanitizers
AddressSanitizer, ThreadSanitizer, MemorySanitizer
melver/syzkaller
syzkaller is an unsupervised, coverage-guided kernel fuzzer
melver/uniwork-kelvin
Kelvin. Contains network protocol (based on 6LowPAN) for embedded systems.
melver/vim-racket
vim bundle for Racket, for use with Pathogen
melver/wmnusmv.vim
Vim plugin for NuSMV