Pinned Repositories
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
cornell.vim
Simple vim indent plugin for creating Cornell-style notes
cs563-networks
cs563_advsec
Repository for CS563
ctf-vm
reverse_engineering
jarsp's Repositories
jarsp/cornell.vim
Simple vim indent plugin for creating Cornell-style notes
jarsp/ctf-vm
jarsp/reverse_engineering
jarsp/angr
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
jarsp/aoc21
jarsp/babysat
jarsp/claripy
An abstraction layer for constraint solvers
jarsp/config
Personal config stuff
jarsp/cs563-networks
jarsp/cs563_advsec
Repository for CS563
jarsp/fg-dsl
Domain Specific Language for Factor Graphs
jarsp/FStar
Verification system for effectful programs
jarsp/gll-hask
jarsp/HVFS
jarsp/jarsp-vimrc
My .vimrc. Very small, mainly for personal use.
jarsp/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
jarsp/kparse
Testing parsing with K
jarsp/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.
jarsp/NERV-ous
Evangelion-inspired dark colorscheme
jarsp/public-writeup
CTF write-ups by Plaid Parliament of Pwning
jarsp/simuvex
A symbolic execution engine for the VEX IR
jarsp/smol
smol
jarsp/spec
WebAssembly specification, reference interpreter, and test suite.
jarsp/stf20-writeups
jarsp/tex.vim
jarsp/u-boot
"Das U-Boot" Source Tree
jarsp/verifast
Research prototype tool for modular formal verification of C and Java programs
jarsp/wsint
wsint - a whitespace interpreter written in MASM