eftychis

Messing with security, cryptography and distributed systems.

San Francisco Bay Area

Pinned Repositories

ace
Ace (Ajax.org Cloud9 Editor)
Language:JavaScript0 2 00
agent-rs
A collection of libraries and tools for building software around the Internet Computer, in Rust.
Language:Rust00
Avalon
Second generation Avalon miner. GPLv3 and public domain.
Language:C00
awesome-go
A curated list of awesome Go frameworks, libraries and software
Language:Go00
axodox-machinelearning
This repository contains a C++ ONNX implementation of StableDiffusion.
Language:C++0 0 00
bcc
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
Language:C++00
emacs.d
Emacs configuration
Language:Emacs Lisp0 2 00
libsnark
C++ library for zkSNARKs
Language:C++00
remacs
Rust :heart: Emacs
Language:Emacs Lisp0 2 00
website
Language:TeX00

eftychis's Repositories

eftychis/HElib
An Implementation of homomorphic encryption
Language:C++
eftychis/hs-tls
TLS/SSL implementation in haskell
Language:Haskell
eftychis/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Language:Haskell
eftychis/webtorrent
:zap: Streaming torrent client for the web
Language:JavaScript
eftychis/tensorflow-wavenet
A TensorFlow implementation of DeepMind's WaveNet paper
Language:Python
eftychis/DOOM-3-BFG
Doom 3 BFG Edition
Language:C++
eftychis/wcc
The Witchcraft Compiler Collection
Language:C
eftychis/deep-regex
Code for the paper Neural Generation of Regular Expressions from Natural Language with Minimal Domain Knowledge (EMNLP 2016). http://arxiv.org/abs/1608.03000
Language:Python
eftychis/parsimony
Language:TeX
eftychis/stack
The Haskell Tool Stack
Language:Haskell
eftychis/xgboost
Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Flink and DataFlow
Language:C++
eftychis/kubernetes-the-hard-way
Bootstrap Kubernetes the hard way. No scripts.
eftychis/QuantumComputing
This is an implementation of IBM's Quantum Experience in simulation; a 5-qubit quantum computer with a limited set of gates. Please cite me if you end up using this academically.
Language:Python
eftychis/bcc
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
Language:C++
eftychis/tensorflow
Computation using data flow graphs for scalable machine learning
Language:C++
eftychis/SpaceshipGenerator
A Blender script to procedurally generate 3D spaceships
Language:Python
eftychis/post-rfc
Blog post previews in need of peer review
eftychis/mitmproxy
An interactive SSL-capable intercepting HTTP proxy for penetration testers and software developers
Language:JavaScript
eftychis/glibc
GNU Libc
Language:C
eftychis/radare2
unix-like reverse engineering framework and commandline tools
Language:C
eftychis/CRYENGINE
CRYENGINE source code.
Language:C++
eftychis/wai
Haskell Web Application Interface
Language:Haskell
eftychis/scotty
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
Language:Haskell
eftychis/cfssl
CFSSL: CloudFlare's PKI and TLS toolkit
Language:Go
eftychis/nmap
Nmap - the Network Mapper. Github mirror of official SVN repository.
Language:C++
eftychis/dl-setup
Instructions for setting up the software on your deep learning machine
eftychis/panopticon
A libre cross-platform disassembler.
Language:Rust
eftychis/TLS-Attacker
TLS-Attacker is a Java-based framework for analyzing TLS libraries. It is developed by the Chair of Network and Data Security, Ruhr University Bochum (http://nds.rub.de/) and the Hackmanit GmbH (http://hackmanit.de/).
Language:Java
eftychis/tdesktop
Telegram Desktop messaging app
Language:C++
eftychis/hack-petya
search key to restore petya encrypted mft
Language:Go