Discover @elefthei Open Source projects

Lef Ioannidis (@elefthei)

elefthei

Stars
57
Global Rank 311,131 (Top 11 %)
Followers 73
Following 45
Registered over 13 years ago
Most used languages

TeX
12.5 %

Lua
12.5 %

Elixir
12.5 %

Jupyter Notebook
12.5 %

Rust
12.5 %

Agda 6.3 %

C
6.3 %

Python
6.3 %

Coq 6.3 %

Elm
6.3 %

Shell
6.3 %
Location 🇺🇸 United States
Country Total Rank 66,121
Country Ranking

Agda 70

Coq 225

Elm
442

Elixir
919

Lua
1,825

TeX
2,156

Rust
5,129

python-ml-microservice

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

krypto

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

WebTorch

A Deep Learning HTTP server based on nginx

xumonad-linux

A minimal xubuntu and xmonad based linux distro and live CD

nescala2020-edsl

Three eDSLs talk for NEScala 2020

Jupyter Notebook

rezk

Secret documents, regular languages, zero-knowledge!

resume

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

spartan-zkinterface

Deserialization from zkinterface to Spartan

ex_keypair

Elixir RSA KeyPair generator module.

lua-ml-microservice

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

elmentory

Inventory control software written in Elm

reasoning-about-distributed-systems

Reasoning about distributed systems in Coq

docker-ngrok-v2

Minimal docker container for ngrok v2, running over HTTP

circ-haskell

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

agda-permissions

Agda modeling of RW permissions

secure-C

Secure Programming in C class slides

maze-saliency

Salient maps in maze solving

Jupyter Notebook