jplevyak
John Plevyak got his PhD in distributed systems from UIUC. He has worked in many areas from compilers for supercomputers, graph databases and cryptography.
FactlandSan Francisco, CA
Pinned Repositories
dfnhack7
DFINITY hackathon 2021 Team 7
docker-rosario
A Dockerfile that installs the latest RosarioSIS.
dparser
A Scannerless GLR parser/parser generater.
envoy-wasm
Playground for Envoy WASM filter
ic-certified-blockchain
A certified blockchain in a canister smart contract on the IC.
iceth
ETH for the IC
icfront
ifa
IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis researchers.
plib
Common Functions for use by VZ, IFA, PYC
pyc
Experimental Python compiler.
jplevyak's Repositories
jplevyak/docker-rosario
A Dockerfile that installs the latest RosarioSIS.
jplevyak/vz
Distributed Computing Platform
jplevyak/ats-cache-proxy
Automatically exported from code.google.com/p/ats-cache-proxy
jplevyak/bwasa
jplevyak/bwx-adventure
A simple module for writing text adventure games in python.
jplevyak/distributed-keygen
Distributed Key Generation in the Wild (from https://crysp.uwaterloo.ca/software/DKG/ )
jplevyak/eos
An open source smart contract platform
jplevyak/go.v23
The Vanadium APIs
jplevyak/jplevyak.github.io
Personal web site.
jplevyak/location-history-visualizer
Visualize your Google Location History using an interactive heatmap
jplevyak/mtcp
mTCP: A Highly Scalable User-level TCP Stack for Multicore Systems
jplevyak/music-generation
An RNN implementation to generate music
jplevyak/openmct
A web based mission control framework.
jplevyak/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, HyperLogLogs, Bitmaps.
jplevyak/rlite
self-contained, serverless, zero-configuration, transactional redis-compatible database engine. rlite is to Redis what SQLite is to SQL.
jplevyak/rosariosis
RosarioSIS Student Information System for School Management
jplevyak/tezos
A self-amending cryptographic ledger
jplevyak/webdis
A Redis HTTP interface with JSON output
jplevyak/xmppbroadcast
Simple IRC-like groups using xmpp single-conversations.