Popular repositories Loading

1. Histomath Histomath Public

   JavaScript 1

2. Enhanced-Symmetry-Propagation Enhanced-Symmetry-Propagation Public

   GAP

3. Natural-Language-Inference Natural-Language-Inference Public

   Implementation of deep learning methods, both transformer-based and not transformer-based, to complete an NLI task.

   Jupyter Notebook

4. Phasellus Phasellus Public

   Roguelike Yahtzee

   Lua

5. SMALLSAT SMALLSAT Public

   A small CDCL-based solver built from scratch

   C