Pinned Loading

1. dotfiles dotfiles Public

   My configurations.

   Shell

2. toolbelt toolbelt Public

   A collection of tools that I use.

   Go

3. OptimizationCompetition OptimizationCompetition Public

   Crowd-source the solving of optimization problems via the Ethereum blockchain

   Solidity 1 1

4. CryptoPricePredictor CryptoPricePredictor Public

   Temporal Convolutional Neural Network on Cryptocurrency data. Based off of https://github.com/philipperemy/keras-tcn

   Python 2 2

5. Proof-of-SAT Proof-of-SAT Public

   Generate and solve random instances of MAX-SAT and instances of MAX-SAT that are deterministically and pseudo-randomly generated from the solutions of previous MAX-SAT instances. This is a prototyp…

   Python 5

6. ai-extension ai-extension Public

   AI-enabled Chrome extension

   TypeScript