Lef Ioannidis's repositories
spartan-zkinterface
Deserialization from zkinterface to Spartan
circ-haskell
A zkSNARK compiler, a fork of https://github.com/circify/compiler
reasoning-about-distributed-systems
Reasoning about distributed systems in Coq
phoas-experiments
Some PHOAS experiments in Coq
BERTopic
Leveraging BERT and c-TF-IDF to create easily interpretable topics.
book
pest book
cerberus
Cerberus C semantics
coinduction
coinduction library for Coq
dot-rust
A library for generating Graphviz DOT language files for graphs.
elefthei.github.io
Personal website for Lef Ioannidis
elefthei2.github.io
Personal static website
haskell-regex-deriv
Yet another haskell regex derivatives project
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
liquidhaskell
Liquid Types For Haskell
ott-starter
Easy ott
plclub-web
A Hakyll [plclub] website (https://www.cis.upenn.edu/~plclub/)
RAM-interpreter
An interpreter for the theoretical RAM program model (CIS511)
splab-web
a template for research group sites