Skip to content
View melver's full-sized avatar
38 followers · 4 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report melver

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • llvm-project Public

    Forked from llvm/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…

    LLVM Other Updated Mar 28, 2025

  • conf Public

    Selected dot files from my home directory.

    Lua 1 Other Updated Nov 1, 2024

  • syzkaller Public

    Forked from google/syzkaller

    syzkaller is an unsupervised, coverage-guided kernel fuzzer

    Updated Oct 30, 2024

  • gwpsan Public

    Forked from google/gwpsan

    GWPSan: Sampling-Based Sanitizer Framework

    C++ Apache License 2.0 Updated Aug 28, 2024

  • sanitizers Public

    Forked from google/sanitizers

    AddressSanitizer, ThreadSanitizer, MemorySanitizer

    C Other Updated Apr 22, 2024

  • linux Public

    Forked from torvalds/linux

    Linux kernel source tree

    C 1 1 Other Updated Jan 2, 2024

  • bibmanage Public

    Command-line bibliography management.

    Python 1 Apache License 2.0 Updated Aug 13, 2023

  • llvm-zorg Public

    Forked from llvm/llvm-zorg
    Python Other Updated Jun 6, 2023

  • cksumdb Public

    Simple BASH script to generate file checksums in various database formats.

    Shell 2 1 BSD 3-Clause "New" or "Revised" License Updated Dec 9, 2020

  • oss-fuzz Public

    Forked from google/oss-fuzz

    OSS-Fuzz - continuous fuzzing of open source software

    C Apache License 2.0 Updated Apr 22, 2020

  • verc3 Public

    Forked from icsa-caps/verc3

    VerC3: Verification Toolkit for C3

    cpp14 verification synthesis model-checking formal-methods protocols formal-verification
    C++ 1 Apache License 2.0 Updated Nov 30, 2017

  • scons-bare Public

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

    cpp scons
    Python 14 1 Creative Commons Zero v1.0 Universal Updated Dec 14, 2016

  • pkgix Public

    Forked from pkgix/pkgix

    Prefix environment and simple package management tool.

    Shell 1 GNU General Public License v3.0 Updated Dec 10, 2016

  • mc2lib Public

    Memory consistency model checking and test generation library.

    simulation semantics verification cpp11 header-only computer-architecture test-generation
    C++ 15 5 BSD 3-Clause "New" or "Revised" License Updated Oct 14, 2016

  • logan Public

    The Universal LOG and Data ANalyser framework

    Python Other Updated Jul 26, 2016

  • vim-racket Public

    Forked from wlangstroth/vim-racket

    vim bundle for Racket, for use with Pathogen

    Vim Script Updated Jul 19, 2016

  • busbcopy Public

    Batch USB copy script (e.g. for conference proceedings)

    Shell 1 BSD 3-Clause "New" or "Revised" License Updated May 16, 2016

  • cmurphi Public

    CMurphi mirror: http://mclab.di.uniroma1.it/site/index.php/software/18-cmurphi

    C++ 11 5 Updated Jan 22, 2016

  • lancet Public

    Forked from ioam/lancet

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

    Python BSD 3-Clause "New" or "Revised" License Updated Jun 12, 2015

  • murphi.vim Public

    Forked from vim-scripts/murphi.vim

    Syntax highlighting for the Murphi model checker

    Vim Script 1 Updated May 29, 2015

  • param Public

    Forked from holoviz/param

    Param: Declarative Python programming using Parameters

    Python BSD 3-Clause "New" or "Revised" License Updated Mar 15, 2015

  • cppsiphash Public

    Forked from majek/csiphash

    SipHash C++11 header-only library

    C++ 1 2 Updated Dec 4, 2014

  • instanyos Public

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

    Shell BSD 3-Clause "New" or "Revised" License Updated Sep 23, 2013

  • passph Public

    Password Pre-Hasher

    Python BSD 3-Clause "New" or "Revised" License Updated Feb 28, 2013

  • uniwork-kelvin Public

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

    C GNU General Public License v3.0 Updated Aug 21, 2011

  • wmnusmv.vim Public

    Forked from wannesm/wmnusmv.vim

    Vim plugin for NuSMV

    Vim Script Updated Oct 29, 2010