jbiatek/TargetPanoramaSpecialized
Test PLEXIL plan for directed symbolic execution
Public GitHub Catalog
Discovered Sep 30, 2026
jbiatek / TPlex
A translator which converts PLEXIL plans to Java and Lustre with a focus on test case generation.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#17158127GitHub System ID
jbiatekOrganization / User
PublicVisibility
ActiveCatalog Status
More from jbiatek
jbiatek/weddingphotos
Site for our wedding photos!
jbiatek/dot-zsh
Public repository.
jbiatek/dot-vim
Vim dotfiles