Pinned Loading

1. dihedral-newforms dihedral-newforms Public

   Find newforms with dihedral Galois image

   Python

2. integrally_closedness integrally_closedness Public

   'Hello world' project in Lean

   Lean

3. human-activity-classifier human-activity-classifier Public

   Train a deep neural network to classify human activity from sensor data recorded by a Samsung Galaxy SII

   Python

4. H-1BVisaApplications H-1BVisaApplications Public

   This project cleans, analyses and visualises H-1B (employment-based) visa applications to the USA in the years 2014-2017.

   HTML

5. lmfdb lmfdb Public

   Forked from LMFDB/lmfdb

   L-Functions and Modular Forms Database

   Python