-
-
cryptopocalyp.se Public
My personal site, built with Jekyll
SCSS GNU General Public License v2.0 UpdatedNov 17, 2021 -
jekyll Public
Forked from jekyll/jekyllš Jekyll is a blog-aware static site generator in Ruby
Ruby MIT License UpdatedJun 20, 2020 -
-
see_also.rb Public
Check formatting in "See Also" section of Wikipedia pages
Ruby UpdatedApr 24, 2020 -
polyvdw Public
A computational exploration of Polynomial van der Waerden numbers
TeX UpdatedJan 26, 2020 -
csm-py Public
Computational Experiments on Abstract Cyber Security Models
Python UpdatedJan 14, 2020 -
coq Public
Forked from rocq-prover/rocqCoq 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 develoā¦
OCaml GNU Lesser General Public License v2.1 UpdatedDec 1, 2018 -
-
Signal-Android Public
Forked from signalapp/Signal-AndroidA private messenger for Android.
C GNU General Public License v3.0 UpdatedOct 17, 2016 -
pressure Public
Sinatra app to generate and serve pressure charts for a given location
Ruby GNU General Public License v2.0 UpdatedMay 16, 2015 -
DES-project Public
Demonstrate practical attacks on a partially deconstructed Feistel cipher
-
GoodsteinSequence Public
An expository work on Goodstein's Theorem as a natural independence phenomenon
TeX UpdatedFeb 16, 2015 -
-
-
{{ message }}