ezgicicek

Software Engineer, Static analysis + Build Systems @facebook

MetaLondon

Pinned Repositories

infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCaml14.9k2k
buck2
Build system, successor to Buck
Language:Rust3.5k215
BiRelCost
Bidirectional Type Checking for Relational Properties
Language:OCaml50
hhvm
A virtual machine for executing programs written in Hack.
Language:C++18.1k3k
velox
A new C++ vectorized database acceleration library aimed to optimizing query engines and data processing systems.
Language:C++10
elements_of_prog
Solutions to 'Elements of Programming Interviews' in OCaml
Language:OCaml01
folly
An open-source C++ library developed and used at Facebook.
Language:C++00
hhvm
A virtual machine for executing programs written in Hack.
Language:C++00
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
Language:C++00
rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
Language:C++00

ezgicicek's Repositories

ezgicicek/hhvm
A virtual machine for executing programs written in Hack.
ezgicicek/folly
An open-source C++ library developed and used at Facebook.
ezgicicek/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
ezgicicek/velox
A new C++ vectorized database acceleration library aimed to optimizing query engines and data processing systems.
1
ezgicicek/rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
ezgicicek/BiRelCost
Bidirectional Type Checking for Relational Properties
Language:OCaml5
ezgicicek/elements_of_prog
Solutions to 'Elements of Programming Interviews' in OCaml
Language:OCaml1
ezgicicek/women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
ezgicicek/sf
Software Foundations of Pierce et al.
Language:Coq