Giters
rcastano

rcastano

Geek Repo

11

followers

0

following

11

stars

Github PK Tool:Github PK Tool

rcastano's repositories

cpachecker-1

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Language:CLicense:NOASSERTIONStargazers:3Issues:2Issues:0

analysis-net

Static analysis framework for .NET programs.

Language:C#License:MITStargazers:1Issues:2Issues:0

tbf

A framework for using test case generators to locate errors in C programs

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:1Issues:0

corral

solver for the reachability modulo theories problem

Language:C#License:MITStargazers:0Issues:1Issues:0

django-tutorial

I'll keep the files related to the Django Beginner's Tutorial.

Stargazers:0Issues:1Issues:0

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

predict-verification-success

Language:PythonStargazers:0Issues:1Issues:0

scholar.py

A parser for Google Scholar, written in Python

Language:PythonStargazers:0Issues:2Issues:0

srm

High-performance .NET regex engine with predictable performance

Language:C#License:MITStargazers:0Issues:0Issues:0