omeranson Goto Github PK

behavioral-model

Rewrite of the behavioral model as a C++ project without auto-generated code (except for the PD interface)

bpftrace

High-level tracing language for Linux eBPF

bruv

Gerrit review helper tool

cuckoo

Cuckoo Sandbox is an automated dynamic malware analysis system

datasci_course_materials

Public repository for course materials for the Data Science at Scale Specialization at Coursera

dns

DNS library in Go

dragonflow

SDN based Distributed Virtual Router for OpenStack Neutron

include-what-you-use

A tool for use with clang to analyze #includes in C and C++ source files

jsonmodels

jsonmodels is library to make it easier for you to deal with structures that are converted to, or read from JSON.

jsonmodels-rpm-packaging

klee

KLEE Symbolic Virtual Machine

klee.github.io

libcxx

Ancient libcxx clone with musl support. See original repo for up-to-date version.

libcxxabi

Ancient fork of libcxxabi with musl and libc++ compilation support. See original repo for up-to-date version.

libunwind

Ancient fork of libunwind with compilation with musl support. See original repo for up-to-date version.

linux

Linux kernel source tree

llvm_apron_pass

Create an LLVM pass that uses apron for numerical analysis

llvm_memory_access_pass

LLVM pass to classify functions according to their write memory access

monte_carlo_integration

Monte Carlo for Integration

musl

A github clone of musl standard library (origin: https://www.musl-libc.org/ ) - Not updated but active modified

netaddr

A network address manipulation library for Python

nextce4nusmv

An addition to NuSMV to support generation of additional counter examples

omeranson.github.io

openstack-ansible-overlay

Example of an OpenStack-Ansible overlay configuration

openstack-vagrant

Vagrant for DevStack

p4app

p4c

P4_16 prototype compiler

paramiko

The leading native Python SSHv2 protocol library.

pe-parse

Principled, lightweight C/C++ PE parser

python-gerrit

Python bindings for Gerrit