msaxena2 Goto Github PK

abate

Equational Abstraction Via Least General Generalization

airsim

Open source simulator based on Unreal Engine for autonomous vehicles from Microsoft AI & Research

autobench

Tool for automating running tests for benchmarks

benchmark-tools

Tools for running and comparing static/dynamic analysis software.

blockchain-k-plugin

K plugin for IELE and KEVM

c-semantics

Semantics of C in K

collections-c

A library of generic data structures.

compliance-monitors

cv-resume

CV/Resume

d3-work

Data Visualization using D3

differential-ml

dot-files

dot-files

dot-vim

My vim Module for dot-home

dot-zsh

error-codes-mvn-plugin

Maven Plugin to Keep Error Codes in Sync with the K Framework C-Semantics

evaluation

Evaluation results of RV tools and comparisons with other tools

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

ffmpeg

mirror of git://source.ffmpeg.org/ffmpeg.git

freebsd-memory-mananger

User Space Memory Manager for FreeBSD

geol-100

Geology 100 Notes

groupme-bot

A bot for GroupMe (https://dev.groupme.com/tutorials/bots)

haskell-misc

ironfleet-liveness

itc-benchmarks

static analysis benchmarks from Toyota ITC

javamop

Runtime verification system for Java, using AspectJ for instrumentation.

jline2

The new Jline

jointaccount

Joint Account Smart Contract in Ethereum+Serpent

k

The K tools

k-1

k-in-k

Defining the semantics of K in K