Lef Ioannidis (elefthei)

elefthei

Geek Repo

Company:University of Pennsylvania

Location:Philadelphia, PA

Home Page:http://elefthei.github.io

Twitter:@elefthei

Github PK Tool:Github PK Tool

Lef Ioannidis's repositories

resume

I wrote my resume in LaTeX based on the one by Alessandro Plasmati <https://www.sharelatex.com/templates/cv-or-resume/professional-cv>.

Language:TeXStargazers:3Issues:3Issues:0

rezk

Secret documents, regular languages, zero-knowledge!

Language:RustLicense:GPL-3.0Stargazers:3Issues:1Issues:40

spartan-zkinterface

Deserialization from zkinterface to Spartan

circ

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

Language:RustLicense:NOASSERTIONStargazers:1Issues:1Issues:0

circ-haskell

A zkSNARK compiler, a fork of https://github.com/circify/compiler

Language:CStargazers:1Issues:2Issues:0

ctrees

An itree-like data-structure to additionally support internal non-determinism

Language:CoqLicense:MITStargazers:1Issues:1Issues:0

reasoning-about-distributed-systems

Reasoning about distributed systems in Coq

Language:CoqStargazers:1Issues:2Issues:0

phoas-experiments

Some PHOAS experiments in Coq

Language:CoqStargazers:0Issues:2Issues:0

Spartan

Spartan: High-speed zkSNARKs without trusted setup

Language:RustLicense:MITStargazers:0Issues:1Issues:0

BERTopic

Leveraging BERT and c-TF-IDF to create easily interpretable topics.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

book

pest book

Language:JavaScriptStargazers:0Issues:0Issues:0

cerberus

Cerberus C semantics

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

coinduction

coinduction library for Coq

Language:CoqLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

coqstlczk

Coq proofs for ZK proof compilers

Language:CoqStargazers:0Issues:3Issues:0

dot-rust

A library for generating Graphviz DOT language files for graphs.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

elefthei.github.io

Personal website for Lef Ioannidis

Language:SCSSLicense:MITStargazers:0Issues:0Issues:0

elefthei2.github.io

Personal static website

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:F*Stargazers:0Issues:0Issues:0

haskell-regex-deriv

Yet another haskell regex derivatives project

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

Language:CoqLicense:MITStargazers:0Issues:1Issues:0

liquidhaskell

Liquid Types For Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

lp-fuzzer

Fuzzer for LP models in MPS

Language:PythonStargazers:0Issues:2Issues:0

ltl

Linear Temporal Logic

Language:CoqStargazers:0Issues:1Issues:0

ott-starter

Easy ott

Language:MakefileStargazers:0Issues:0Issues:0
Language:DafnyStargazers:0Issues:1Issues:0
Language:ShellStargazers:0Issues:1Issues:0

plclub-web

A Hakyll [plclub] website (https://www.cis.upenn.edu/~plclub/)

Language:HTMLStargazers:0Issues:1Issues:0
Language:CoqLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

zkinterface

zkInterface is a protocol for the interoperability of zero-knowledge frameworks.

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