Popular repositories Loading

1. RegexPlus RegexPlus Public

   Jupyter Notebook 6

2. ANN-from-scratch-python ANN-from-scratch-python Public

   A one week hackathon project, mathed whiteboarded and derived entirely from sractch. Partner coded with @gilpasternak35. Extensible design, best implementation practices and comprehensible test cov…

   Python 2 1

3. LovecraftText LovecraftText Public

   Deep Learning based Lovecraft text generator based on input

   Jupyter Notebook 1 1

4. SIR-Model-Presentation SIR-Model-Presentation Public

   My presentation of the SIR model. This notebook includes a description and implementation of the SIR model for modeling the progression of a pandemic over time. Additionally the solution to exercis…

   Jupyter Notebook 1

5. cvc5 cvc5 Public

   Forked from cvc5/cvc5

   cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

   SMT 1

6. Languages Languages Public

   A repository to pick up new languages or tools

   Haskell