CS PhD student at UIUC | Program Analysis & Automated Reasoning
-
University of Illinois, Urbana-Champaign
- Illinois, USA
- sgomber.github.io
- @s_gomber
Highlights
- Pro
Stars
2
stars
written in Rust
Clear filter
An incremental parsing system for programming tools
Implementation of the Cedar Policy Language