Giters
Eric Campbell (ericthewry)

ericthewry

Geek Repo

13

followers

1

following

10

stars

Company:Cornell University

Location:Ithaca, NY

Home Page:ericthewry.github.io

Twitter:@EricTheWry

Github PK Tool:Github PK Tool

Organizations
cornell-pl
PomonaCS051
sf-interns

Eric Campbell's starred repositories

trio

Language:OCamlStargazers:4Issues:0Issues:0

petr4

Petr4: Formal Semantics for P4

Language:P4License:Apache-2.0Stargazers:73Issues:0Issues:0

p4check

P4Check 16: A Static Analysis tool for P4 16 that detects accesses to invalid headers

Language:OCamlStargazers:7Issues:0Issues:0

ocaml-z3

Language:OCamlStargazers:16Issues:0Issues:0

symbolicautomata

Library for symbolic automata and symbolic visibly pushdown automata

Language:JavaLicense:Apache-2.0Stargazers:62Issues:0Issues:0

Cosette

Cosette is an automated SQL solver.

Language:LeanLicense:BSD-2-ClauseStargazers:658Issues:0Issues:0

semantics

A repository of toy haskell formalizations of various formal languages

Language:HaskellStargazers:3Issues:0Issues:0

mathswipe

A game with numbers

Language:JavaScriptLicense:MITStargazers:3Issues:0Issues:0

integer_matrices

Language:JavaScriptStargazers:2Issues:0Issues:0

CS051Proposal

Language:PythonStargazers:2Issues:0Issues:0