zilberstein
PhD Student at Cornell University researching Programming Languages, Logic, and Semantics
Cornell UniversityIthaca, NY
Pinned Repositories
CIS191-Final-Project
doctrine2
Doctrine 2 Object Relational Mapper
dotfiles
ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
KeystrokeDynamicsZKP
Zero Knowledge Proof Login System using Keystroke Dynamics
MusiQueue
PennApps Fall 2013 Top 20
outcome-logic
Outcome Logic Formalized in Coq
system-fc-coq
verified-complexity
A Haskell library for writing algorithms where the runtime complexity is verified by GHC
zilberstein's Repositories
zilberstein/system-fc-coq
zilberstein/KeystrokeDynamicsZKP
Zero Knowledge Proof Login System using Keystroke Dynamics
zilberstein/outcome-logic
Outcome Logic Formalized in Coq
zilberstein/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
zilberstein/MusiQueue
PennApps Fall 2013 Top 20
zilberstein/verified-complexity
A Haskell library for writing algorithms where the runtime complexity is verified by GHC
zilberstein/CIS191-Final-Project
zilberstein/doctrine2
Doctrine 2 Object Relational Mapper
zilberstein/dotfiles
zilberstein/First-App
zilberstein/go-pyramid
GO PYRAMID
zilberstein/hhvm
HHVM is a new open-source virtual machine designed for executing programs written in PHP. HHVM uses a just-in-time (JIT) compilation approach to achieve superior performance while maintaining the flexibility that PHP developers are accustomed to.
zilberstein/infer
A static analyzer for Java, C, C++, and Objective-C
zilberstein/Instaplan
CIS 330 Final Project
zilberstein/My-Website
zilberstein/ocaml-abnf
Experiments in LLVM parsing of ABNF
zilberstein/PCP-Proof
zilberstein/ShopSplice
PennApps Spring 2014
zilberstein/sudoku_generate
zilberstein/thrift
Mirror of Apache Thrift
zilberstein/visit_counter
zilberstein/website2
Rachit Nigam's personal website.
zilberstein/word8
Word8 library