daniel-ziegler Goto Github PK

ai-notebooks

Some ipython notebooks implementing AI algorithms

aqibot

aqiduck

Pulls data from AQI monitors such as PurpleAir and Awair and reports data to slack

auditing-vis

Code for Auditing Visualizations: Transparency Methods Struggle to Detect Anomalous Behavior

baselines

OpenAI Baselines: high-quality implementations of reinforcement learning algorithms

boundedlob

clock

Clock is a small library for mocking time in Go.

coname

coq-experiments

daniel-ziegler.github.io

website

dcpu16meta

DCPU-16 emulator running on DCPU-16

deckbuilding

A dominion-like deck-building game, initially designed by Jeff Wu.

dename

NameCoin-style names using consensus instead of proof of work

distsys-class

Class materials for a distributed systems lecture series

dominion

end-to-end

Use OpenPGP-based encryption in Yahoo mail.

end-to-end-1

End-To-End is a Chrome extension that helps you encrypt, decrypt, digital sign, and verify signed messages within the browser using OpenPGP.

fiat-crypto

Cryptographic Primitive Code Generation in Fiat

forgemods

from-quizlet-to-memrise

Prepering quizlet cards for memrise transfer

gollum-public

ksts

Kerbal Space Transport System

listproxy

HTTPS reverse proxy to enforce authrorization using MIT Moira lists

mealplan

merklemap

A radix Merkle tree stored on disk

mlab

Machine Learning for Alignment Bootcamp Teacher's Edition

ndir

Arduino Library for Sandbox Electronics NDIR CO2 Sensor with UART/I2C Interface

packages-archlinux

Mirror of ArchLinux packages that I maintain in AUR. (Each package is in a separate branch.)

panda

pika-yfncc-cdist

TEMPORARY repository for pika cdist configuration