Pinned Repositories
Signal-Android
A private messenger for Android.
.emacs.d
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
cryptopocalyp.se
My personal site, built with Jekyll
csm-py
Computational Experiments on Abstract Cyber Security Models
DailyTodo
DailyTodo is a simple to-do list for recurring tasks.
DES-project
Demonstrate practical attacks on a partially deconstructed Feistel cipher
GoodsteinSequence
An expository work on Goodstein's Theorem as a natural independence phenomenon
polyvdw
A computational exploration of Polynomial van der Waerden numbers
zaprice's Repositories
zaprice/DES-project
Demonstrate practical attacks on a partially deconstructed Feistel cipher
zaprice/.emacs.d
zaprice/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
zaprice/cryptopocalyp.se
My personal site, built with Jekyll
zaprice/csm-py
Computational Experiments on Abstract Cyber Security Models
zaprice/DailyTodo
DailyTodo is a simple to-do list for recurring tasks.
zaprice/GoodsteinSequence
An expository work on Goodstein's Theorem as a natural independence phenomenon
zaprice/polyvdw
A computational exploration of Polynomial van der Waerden numbers
zaprice/jekyll
:globe_with_meridians: Jekyll is a blog-aware static site generator in Ruby
zaprice/mandelbrot.rb
Mandelbrot set generator
zaprice/mandelbrot.scala
Mandelbrot set generator
zaprice/pressure
Sinatra app to generate and serve pressure charts for a given location
zaprice/Ramsey
zaprice/see_also.rb
Check formatting in "See Also" section of Wikipedia pages
zaprice/Signal-Android
A private messenger for Android.
zaprice/table_2_appendix_b