elefthei Goto Github PK

agda-permissions

Agda modeling of RW permissions

apola-dl-notebook

Jupyter notebook docker server with TensorFlow, Caffe, iTorch and more.

bertopic

Leveraging BERT and c-TF-IDF to create easily interpretable topics.

book

pest book

cerberus

Cerberus C semantics

chargecore

circ

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

circ-haskell

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

clang-pure

Easy C++ code analysis with pure Haskell

coinduction

coinduction library for Coq

coq-constr

coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

coq-galois-theory

MIrror of coq-galois-theory on google code

coqstlczk

Coq proofs for ZK proof compilers

crouton

Chromium OS Universal Chroot Environment

ctrees

An itree-like data-structure to additionally support internal non-determinism

cutkey

docker-coq

Coq 8.7 docker image (debian:latest based)

docker-dev

Debian linux-based, systems dev workstation (vim, gcc, cmake, binutils, qemu)

docker-llvm-gold

A docker image with the latest LLVM-6.0 and Gold from binutils.

docker-ngrok-v2

Minimal docker container for ngrok v2, running over HTTP

docker-openresty

Docker tooling for OpenResty

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

elmentory

Inventory control software written in Elm

ex_keypair

Elixir RSA KeyPair generator module.

excel-parser

Functional programming use case: a parser of excel spreadsheet

foo-lang

A strawman eDSL in Haskell

frap

Formal Reasoning About Programs