jarsp

cornell.vim

Simple vim indent plugin for creating Cornell-style notes

ctf-vm

reverse_engineering

angr

The next-generation binary analysis platform from UC Santa Barbara's Seclab!

aoc21

babysat

claripy

An abstraction layer for constraint solvers

config

Personal config stuff

cs563-networks

cs563_advsec

Repository for CS563

fg-dsl

Domain Specific Language for Factor Graphs

FStar

Verification system for effectful programs

gll-hask

HVFS

jarsp-vimrc

My .vimrc. Very small, mainly for personal use.

KeYmaeraX-release

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

kparse

Testing parsing with K

mtgatracker

MTGATracker is a deck tracker for MTG Arena, offering an in-game overlay that shows real time info about your deck in MTGA. It can also record & analyze your past matches to show best & worst color matchups, etc.

NERV-ous

Evangelion-inspired dark colorscheme

public-writeup

CTF write-ups by Plaid Parliament of Pwning

simuvex

A symbolic execution engine for the VEX IR

smol

smol

spec

WebAssembly specification, reference interpreter, and test suite.

stf20-writeups

tex.vim

u-boot

"Das U-Boot" Source Tree

verifast

Research prototype tool for modular formal verification of C and Java programs

wsint

wsint - a whitespace interpreter written in MASM