Pinned Loading

1. DL-for-HPDE DL-for-HPDE Public

   Deep Learning for solving Hyperbolic Partial Differential Equations

   Jupyter Notebook 1

2. TER-AI-DS-PINN-s TER-AI-DS-PINN-s Public

   Main repository for the TER AI/DS for PINN'S

   Jupyter Notebook 1

3. SearchML SearchML Public

   Search engine for traversing a database of research articles, adapted for personal use

   Python

4. Nim-game-winning-strategy Nim-game-winning-strategy Public

   Formal proof for the existence of a winning strategy in a Nim game using Coq Proof Assistant

   Coq

5. petkokp/patent-match-challenge petkokp/patent-match-challenge Public

   Jupyter Notebook 1

6. closedfish/closedfish closedfish/closedfish Public

   Main repository for Closedfish

   C++ 4 3