Pinned Loading

1. kasai kasai Public

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

   Jupyter Notebook

2. austinhle/openpiton-victim-cache austinhle/openpiton-victim-cache Public

   ELE575 Spring 2018 Final Project: Victim Caches in OpenPiton

   Assembly 1 2

3. bluedot951/redditcommentor bluedot951/redditcommentor Public

   Generating text for Reddit comments using natural language methods.

   Python 1

4. maZang/PokeSnowdown maZang/PokeSnowdown Public

   Pokemon Showdown in OCaml

   OCaml 3 2

5. ssomayyajula/refinery ssomayyajula/refinery Public

   A proof assistant for refinement logics

   OCaml 8

6. crypto crypto Public

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

   Kotlin 1