melver/scons-bare
Simple build system skeleton using SCons for C/C++ projects
Repositories
melver/vers3
vers3: Explicit-State Model Checking Framework
melver/cmurphi
CMurphi mirror: http://mclab.di.uniroma1.it/site/index.php/software/18-cmurphi
melver/bach
Bach: Evolutionary MIDI Library
melver/demangle
C++ symbol name demangler written in Go
melver/mc2lib
Memory consistency model checking and test generation library.
melver/gwpsan
GWPSan: Sampling-Based Sanitizer Framework
melver/conf
Selected dot files from my home directory.
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/sanitizers
AddressSanitizer, ThreadSanitizer, MemorySanitizer
melver/cppsiphash
SipHash C++11 header-only library
melver/cksumdb
Simple BASH script to generate file checksums in various database formats.
melver/verc3
VerC3: Verification Toolkit for C3
melver/linux
Linux kernel source tree
melver/llvm-zorg
melver/murphi.vim
Syntax highlighting for the Murphi model checker
melver/bibmanage
Command-line bibliography management.
melver/syzkaller
syzkaller is an unsupervised, coverage-guided kernel fuzzer
melver/oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software
melver/param
Param: Declarative Python programming using Parameters
melver/pkgix
Prefix environment and simple package management tool.
melver/busbcopy
Batch USB copy script (e.g. for conference proceedings)
melver/passph
Password Pre-Hasher
melver/vim-racket
vim bundle for Racket, for use with Pathogen
melver/logan
The Universal LOG and Data ANalyser framework
melver/lancet
A tool to help you launch simulations, organise the output data and dissect the results
melver/wmnusmv.vim
Vim plugin for NuSMV