eligoldweber Goto Github PK

antz

Framework for Antz Robot

antz_updates

Updates to the Antz code from Zhi Xing and Nachiket Kulkarni

antzcoverage

A collection of Greenfoot Java simulations for the the coverage problem

asset-rest-service

A nodejs cloud microservice, meant to interact and update a global asset database. Works with https://github.com/mwilli31/predix-asset-local

dafny-holeeval

Forked from dafny-holeEval, prototype for spec mutations

dafny-sc-fmics

Verification of Smart Contracts with Dafny – FMICS paper examples

driverlesscarsimulation

A Simulation of a driverless car in V-Rep

fpaxos-test

Collection of scripts for experimenting with FPaxos

gittutorial

Tutorial for basic git branches and merge conflicts

hello-world

io_game_1.0

iotdatamanagement

ironclad

The MSR Ironclad project builds provably secure and reliable systems.

ironpatch_subtaskiii_challenge6

llvm_non_interference_proofs

Dafny model of llvm semantics

llvm_to_dafny_parser

problemoftheweek

recipes

A collaborative collection of recipes

spectesting

Brainstorm for spec Testing

telegram

tierpaxos

Scalable Architecture for SMR Protocols

vccompiler

A complier for a “Variation of C” to Java byte code. Implemented the Scanner, Parser, Semantic Analyzer, and Code Generator modules.