Pinned Repositories
roslyn-analyzers
analysis-net
Static analysis framework for .NET programs.
corral
solver for the reachability modulo theories problem
cpachecker-1
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
django-tutorial
I'll keep the files related to the Django Beginner's Tutorial.
flow
Adds static typing to JavaScript to improve developer productivity and code quality.
predict-verification-success
scholar.py
A parser for Google Scholar, written in Python
srm
High-performance .NET regex engine with predictable performance
tbf
A framework for using test case generators to locate errors in C programs
rcastano's Repositories
rcastano/cpachecker-1
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
rcastano/analysis-net
Static analysis framework for .NET programs.
rcastano/tbf
A framework for using test case generators to locate errors in C programs
rcastano/corral
solver for the reachability modulo theories problem
rcastano/django-tutorial
I'll keep the files related to the Django Beginner's Tutorial.
rcastano/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
rcastano/predict-verification-success
rcastano/scholar.py
A parser for Google Scholar, written in Python
rcastano/srm
High-performance .NET regex engine with predictable performance