melver Goto Github PK

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

conf

Selected dot files from my home directory.

cppsiphash

SipHash C++11 header-only library

instanyos

Collection of scripts to automate installing selection of any OS on any device.

lancet

A tool to help you launch simulations, organise the output data and dissect the results

linux

Linux kernel source tree

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.

llvm-zorg

logan

The Universal LOG and Data ANalyser framework

mc2lib

Memory consistency model checking and test generation library.

murphi.vim

Syntax highlighting for the Murphi model checker

oss-fuzz

OSS-Fuzz - continuous fuzzing of open source software

param

Param: Declarative Python programming using Parameters

passph

Password Pre-Hasher

pkgix

Prefix environment and simple package management tool.

scons-bare

Simple build system skeleton using SCons for C/C++ projects

syzkaller

syzkaller is an unsupervised, coverage-guided kernel fuzzer

uniwork-kelvin

Kelvin. Contains network protocol (based on 6LowPAN) for embedded systems.

verc3

VerC3: Verification Toolkit for C3

vim-racket

vim bundle for Racket, for use with Pathogen

wmnusmv.vim

Vim plugin for NuSMV