Popular repositories

1. memrise memrise Public

   Tools and resources for memrise courses

   TeX 4 2

2. Starling-cs Starling-cs Public

   Starling database description and tools

   C# 1

3. conways-game-of-life-with-cnn conways-game-of-life-with-cnn Public

   An implementation of Conway's Game of Life using a Convolutional Neural Network (CNN)

   HTML 1 2

4. signal-backup-reader signal-backup-reader Public

   A reader for Signal backups in Python 3.7

   Python 1

5. pvs-protocol-verification pvs-protocol-verification Public

   Verifying Multi-party Authentication Using Rank Functions and PVS

6. rhaver.github.io rhaver.github.io Public

   HTML