elefthei
PhD candidate at Penn working in verification and programming languages.
University of PennsylvaniaPhiladelphia, PA
Pinned Repositories
krypto
OpenSSL and Erlang crypto bindings in Elixir, a crypto library with ease of use in mind
nescala2020-edsl
Three eDSLs talk for NEScala 2020
phoas-experiments
Some PHOAS experiments in Coq
python-ml-microservice
A simple, extensible, docker container and HTTP server for microservice-ing Python ML code.
rezk
Secret documents, regular languages, zero-knowledge!
Spartan
Spartan: High-speed zkSNARKs without trusted setup
WebTorch
A Deep Learning HTTP server based on nginx
otti
A zkSNARK compiler for optimization problems
mcqc
A Gallina compiler with C++17 as an intermediate representation
ctrees
An itree-like data-structure to additionally support internal non-determinism
elefthei's Repositories
elefthei/rezk
Secret documents, regular languages, zero-knowledge!
elefthei/resume
I wrote my resume in LaTeX based on the one by Alessandro Plasmati <https://www.sharelatex.com/templates/cv-or-resume/professional-cv>.
elefthei/spartan-zkinterface
Deserialization from zkinterface to Spartan
elefthei/circ
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
elefthei/circ-haskell
A zkSNARK compiler, a fork of https://github.com/circify/compiler
elefthei/ctrees
An itree-like data-structure to additionally support internal non-determinism
elefthei/reasoning-about-distributed-systems
Reasoning about distributed systems in Coq
elefthei/phoas-experiments
Some PHOAS experiments in Coq
elefthei/Spartan
Spartan: High-speed zkSNARKs without trusted setup
elefthei/BERTopic
Leveraging BERT and c-TF-IDF to create easily interpretable topics.
elefthei/book
pest book
elefthei/cerberus
Cerberus C semantics
elefthei/coinduction
coinduction library for Coq
elefthei/coqstlczk
Coq proofs for ZK proof compilers
elefthei/dot-rust
A library for generating Graphviz DOT language files for graphs.
elefthei/dyadic-rust
An efficient implementation of dyadic numbers in Rust
elefthei/elefthei.github.io
Personal website for Lef Ioannidis
elefthei/elefthei2.github.io
Personal static website
elefthei/fstar-io
elefthei/haskell-regex-deriv
Yet another haskell regex derivatives project
elefthei/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
elefthei/lp-fuzzer
Fuzzer for LP models in MPS
elefthei/ott-starter
Easy ott
elefthei/penn-cis673-hw-dafny
elefthei/penn-cis673-hw-spin
elefthei/plclub-web
A Hakyll [plclub] website (https://www.cis.upenn.edu/~plclub/)
elefthei/RAM-interpreter
An interpreter for the theoretical RAM program model (CIS511)
elefthei/separation-logic-2024
elefthei/splab-web
a template for research group sites
elefthei/zk-typechecking