Pinned Repositories
abercal
Command line calendar with the features I want
chatterbox
A chat thingy
configs
Cookie-Ticker
coq-examples
Examples to show everyone the glory of formal verification
cross-crypto
Connecting computational and symbolic crypto models
dom-hasher
Hashes/verifies the hash of the DOM of loaded pages against known DOM hashes.
doweall
A simple webserver that computes the and of a bunch of client responses
drupal-captcha-breaker
setoid_rewrite_debug
a python script to help debug setoid_rewrite failures in coq
asya-bergal's Repositories
asya-bergal/Cookie-Ticker
asya-bergal/cross-crypto
Connecting computational and symbolic crypto models
asya-bergal/setoid_rewrite_debug
a python script to help debug setoid_rewrite failures in coq
asya-bergal/abercal
Command line calendar with the features I want
asya-bergal/chatterbox
A chat thingy
asya-bergal/configs
asya-bergal/coq-examples
Examples to show everyone the glory of formal verification
asya-bergal/dom-hasher
Hashes/verifies the hash of the DOM of loaded pages against known DOM hashes.
asya-bergal/doweall
A simple webserver that computes the and of a bunch of client responses
asya-bergal/drupal-captcha-breaker
asya-bergal/XPlaysY
asya-bergal/eco-action-tracker
asya-bergal/encrypted-file-store
Easily encrypt and store files in S3
asya-bergal/French-Toast-AI
A dumb bot that plays the "Is this closer to Hitler or French Toast?" game with you
asya-bergal/led-matrix-server
asya-bergal/messenger-plot
Generates a stacked area graph of your Facebook message history over time
asya-bergal/network-hasher
A tool for displaying SHA256 hashes of network responses in the browser
asya-bergal/rrtcp-audio
Bidirectional audio application based on Round Robin TCP protocol
asya-bergal/video-compression-lab
Course 6 style lab for video compression.
asya-bergal/Zork-Map