Projects in Awesome Lists by elefthei
A curated list of projects in awesome lists by elefthei .
https://github.com/elefthei/python-ml-microservice
A simple, extensible, docker container and HTTP server for microservice-ing Python ML code.
deep-learning docker-container machine-learning microservice python tensorflow
Last synced: 11 Apr 2025
https://github.com/elefthei/krypto
OpenSSL and Erlang crypto bindings in Elixir, a crypto library with ease of use in mind
crypto-library elixir krypto openssl
Last synced: 10 Jul 2025
https://github.com/elefthei/webtorch
A Deep Learning HTTP server based on nginx
Last synced: 06 Mar 2026
https://github.com/elefthei/ascii-petgraph
An ascii (ratatui) physics based render engine for graphs (petgraph)
Last synced: 22 Jun 2026
https://github.com/elefthei/rezk
Secret documents, regular languages, zero-knowledge!
Last synced: 11 Apr 2025
https://github.com/elefthei/nescala2020-edsl
Three eDSLs talk for NEScala 2020
Last synced: 22 Sep 2025
https://github.com/elefthei/xumonad-linux
A minimal xubuntu and xmonad based linux distro and live CD
Last synced: 21 Jan 2026
https://github.com/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>.
Last synced: 23 Feb 2026
https://github.com/elefthei/spartan-zkinterface
Deserialization from zkinterface to Spartan
Last synced: 11 Apr 2025
https://github.com/elefthei/ex_keypair
Elixir RSA KeyPair generator module.
Last synced: 11 Apr 2025
https://github.com/elefthei/elmentory
Inventory control software written in Elm
elm elm-lang inventory inventory-management
Last synced: 25 Jul 2025
https://github.com/elefthei/lua-ml-microservice
A simple, extensible, docker container and HTTP server for microservice-ing Torch/LuaJIT ML code.
deep-learning docker lua machine-learning microservice torch
Last synced: 19 Apr 2026
https://github.com/elefthei/agda-permissions
Agda modeling of RW permissions
Last synced: 29 Jan 2026
https://github.com/elefthei/circ-haskell
A zkSNARK compiler, a fork of https://github.com/circify/compiler
Last synced: 11 Apr 2025
https://github.com/elefthei/docker-ngrok-v2
Minimal docker container for ngrok v2, running over HTTP
Last synced: 11 Apr 2025
https://github.com/elefthei/reasoning-about-distributed-systems
Reasoning about distributed systems in Coq
Last synced: 11 Apr 2025
https://github.com/elefthei/llvm-sample
Sample LLVM project with CMake and batteries included
Last synced: 25 Oct 2025
https://github.com/elefthei/slob-poc
Sticky Load Balancer using DynDNS proof-of-concept
Last synced: 23 Jan 2026
https://github.com/elefthei/hadl-paper
A paper for the Hadl agentic workflow
Last synced: 05 Apr 2026
https://github.com/elefthei/docker-llvm-gold
A docker image with the latest LLVM-6.0 and Gold from binutils.
Last synced: 23 Jan 2026
https://github.com/elefthei/apola-dl-notebook
Jupyter notebook docker server with TensorFlow, Caffe, iTorch and more.
Last synced: 20 Aug 2025
https://github.com/elefthei/elefthei.github.io
Personal website for Lef Ioannidis
Last synced: 18 Feb 2026
https://github.com/elefthei/hyperkernel-hash
Hash table by hybrid verification as seen in Hyperkernel (SOSP 16)
Last synced: 23 Jul 2025
https://github.com/elefthei/docker-coq
Coq 8.7 docker image (debian:latest based)
Last synced: 19 Feb 2026
https://github.com/elefthei/dyadic-rust
An efficient implementation of dyadic numbers in Rust
Last synced: 25 Aug 2025
https://github.com/elefthei/coq-galois-theory
MIrror of coq-galois-theory on google code
Last synced: 11 Apr 2025
https://github.com/elefthei/haskell-regex-deriv
Yet another haskell regex derivatives project
Last synced: 11 Apr 2025
https://github.com/elefthei/docker-dev
Debian linux-based, systems dev workstation (vim, gcc, cmake, binutils, qemu)
Last synced: 21 Jan 2026
https://github.com/elefthei/phoas-experiments
Some PHOAS experiments in Coq
Last synced: 08 Oct 2025