PinnedLoading

1. kasaikasaiPublic

   A collection of tools to help analyze various financial aspects of early retirement ("FIRE") in the United States.

   Jupyter Notebook

2. austinhle/openpiton-victim-cacheaustinhle/openpiton-victim-cachePublic

   ELE575 Spring 2018 Final Project: Victim Caches in OpenPiton

   Assembly 1 2

3. bluedot951/redditcommentorbluedot951/redditcommentorPublic

   Generating text for Reddit comments using natural language methods.

   Python 1

4. maZang/PokeSnowdownmaZang/PokeSnowdownPublic

   Pokemon Showdown in OCaml

   OCaml 3 2

5. ssomayyajula/refineryssomayyajula/refineryPublic

   A proof assistant for refinement logics

   OCaml 8

6. cryptocryptoPublic

   Some problems in cryptography that I'm attempting to solve to further my knowledge of the subject.

   Kotlin 1