elefthei/rezk elefthei/rezk

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Rust
  • License
    GNU General Publi...
  • Created about 2 years ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
elefthei/rezk
github

elefthei

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Secret documents, regular languages, zero-knowledge!

More Repositories

1

python-ml-microservice

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

krypto

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

WebTorch

A Deep Learning HTTP server based on nginx
Lua
5
star
4

xumonad-linux

A minimal xubuntu and xmonad based linux distro and live CD
4
star
5

nescala2020-edsl

Three eDSLs talk for NEScala 2020
Jupyter Notebook
4
star
6

resume

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

spartan-zkinterface

Deserialization from zkinterface to Spartan
Rust
2
star
8

ex_keypair

Elixir RSA KeyPair generator module.
Elixir
2
star
9

lua-ml-microservice

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

elmentory

Inventory control software written in Elm
Elm
2
star
11

reasoning-about-distributed-systems

Reasoning about distributed systems in Coq
Coq
1
star
12

docker-ngrok-v2

Minimal docker container for ngrok v2, running over HTTP
Shell
1
star
13

circ-haskell

A zkSNARK compiler, a fork of https://github.com/circify/compiler
C
1
star
14

agda-permissions

Agda modeling of RW permissions
Agda
1
star
15

secure-C

Secure Programming in C class slides
TeX
1
star
16

maze-saliency

Salient maps in maze solving
Jupyter Notebook
1
star