Pinned Loading

1. arxiv-download arxiv-download Public

   Download the ArXiv corpus from AWS S3

   Python 1 1

2. Dockerfiles Dockerfiles Public

   A bunch of Dockerfiles to containerize some of my favorite apps

   Dockerfile

3. gre-vocab gre-vocab Public

   A Wordpress plugin to randomly display GRE words on a webpage

   PHP

4. lex-and-yacc lex-and-yacc Public

   Modified book samples that work with flex and bison

   Yacc

5. mizar-vim-syntax-highlight mizar-vim-syntax-highlight Public

   A Vim syntax highlighter for Mizar proof assistant

   Vim Script

6. prover9-exercises prover9-exercises Public

   Exercises I did in an automated reasoning course at ČVUT in Spring 2019