Beast code in Giters

Jonas Wagner's repositories

A small testing framework for SML inspired by RSpec

Language:Standard ML000

SoftBoundCETS for LLVM-3.5.0

Language:C++000

Where Alice and Bob collaborate to understand Git.

000

Course notes for Principles of Computer Systems

Language:Objective-C++500

Classify a CVE vulnerability

Language:C#000

Language:CNOASSERTION000

SoftBoundCETS for LLVM+Clang version 34

Language:C++BSD-3-Clause000

Surveillance Spotlight for HC2

Language:Python100

Demo for the SATW TecDay

Language:Assembly000

Simple Theorem Prover.

Language:CNOASSERTION000

Notes from SOSP 2013

Language:Objective-C000

A class for rational numbers, developed using TDD

Language:JavaGPL-3.0000

S2E - A Platform for In-Vivo Multi-Path Software Analysis

Language:C000

000

Public notes and other files for https://class.coursera.org/gamification-2012-001

Language:Objective-C300

FUSE nullfs drivers

000