jbiatek/TargetPanoramaSpecialized
Test PLEXIL plan for directed symbolic execution
Developer Profile
jbiatek
Discovered public repositories for jbiatek in the GitHub catalog.
jbiatek/weddingphotos
Site for our wedding photos!
jbiatek/dot-zsh
Public repository.
jbiatek/dot-vim
Vim dotfiles
jbiatek/biatek.com
I'm doing a blog
jbiatek/DriveToSchool
PLEXIL's small DriveToSchool example.
jbiatek/SPFTestingGrounds
Small examples testing what JPF and SPF does.
jbiatek/weddingsite
Our wedding website!
jbiatek/TPlex
A translator which converts PLEXIL plans to Java and Lustre with a focus on test case generation.
jbiatek/jbiatek.github.io
Still TBD, but this was our testing wedding site.
jbiatek/microwave
The code for the microwave model.
jbiatek/dotfiles
Dotfiles I want synced across my computers.