elefthei Goto Github PK

hhpresentation

6.021J HH Presentation

homeworld

Cluster management system for the SIPB Hyades project

hyperkernel-hash

Hash table by hybrid verification as seen in Hyperkernel (SOSP 16)

interactiontrees

A Library for Representing Recursive and Impure Programs in Coq

irpy-z3

kfr

Fast, modern C++ DSP framework, FFT, Audio Sample Rate Conversion, FIR/IIR/Biquad Filters (SSE, AVX, ARM NEON)

klee

KLEE Symbolic Execution Engine

krypto

OpenSSL and Erlang crypto bindings in Elixir, a crypto library with ease of use in mind

lean

Lean Theorem Prover

liquidhaskell

Liquid Types For Haskell

llvm-sample

Sample LLVM project with CMake and batteries included

llvmcpy

Python bindings for LLVM auto-generated from the LLVM-C API

lmcipher

LMCipher: Logistic Map Cipher

lp-fuzzer

Fuzzer for LP models in MPS

ltl

Linear Temporal Logic

lua-ml-microservice

A simple, extensible, docker container and HTTP server for microservice-ing Torch/LuaJIT ML code.

maze-saliency

Salient maps in maze solving

mazerunner

Scala maze generator and solver

nescala2020-edsl

Three eDSLs talk for NEScala 2020

ntua-crypto-class

Crypto Class for NTUA 2015

pal--progressive-authentication-for-linux

Progressive authentication for Linux

penn-cis673-hw-dafny

penn-cis673-hw-spin

phoas-experiments

Some PHOAS experiments in Coq

plclub-web

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

python-ml-microservice

A simple, extensible, docker container and HTTP server for microservice-ing Python ML code.

reasoning-about-distributed-systems

Reasoning about distributed systems in Coq

resume

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

rezk

Secret documents, regular languages, zero-knowledge!

riscv-coq

RISC-V Specification in Coq