Popular repositories Loading

1. real_closed_field real_closed_field Public

   Lean 9 2

2. nanoGPT nanoGPT Public

   Forked from karpathy/nanoGPT

   The simplest, fastest repository for training/finetuning medium-sized GPTs.

   Python 1

3. mtg-rarity mtg-rarity Public

   ML for rarity of MTG cards

   Python

4. temp-mute-bot temp-mute-bot Public

   Python 1

5. colour-bot colour-bot Public

   Python

6. sandz sandz Public

   A library for performing spectral analysis on nonuniformly-sampled data using the nonuniform discrete Fourier transform (NDFT).

   Python