wgabrielong

Gabriel Ong's starred repositories

Pandora

Pandora.jl - Software for studying enumerative problems

Language:JuliaMIT400

analytic-stacks

Crowd-sourced notes for the Clausen-Scholze course on Analyic Stacks

Language:TeX1000

PracticalCurvesDraft

500

sga

An English translation of the Séminaire de Géométrie Algébrique du Bois Marie

Language:XSLT2900

manim

Animation engine for explanatory math videos

Language:PythonMIT6119900

stacks-project

Repository for the Stacks Project

Language:TeXNOASSERTION84000

destackification

Language:Jupyter NotebookMIT100

curves

Language:PostScript200

small-lattice-polytopes

Complementary data for my paper "Enumeration of lattice polytopes by their volume"

100

deep-learning-v2-pytorch

Projects and exercises for the latest Deep Learning ND program https://www.udacity.com/course/deep-learning-nanodegree--nd101

Language:Jupyter NotebookMIT524900

PyTorch-CNN-on-CIFAR10

This is a Deep Learning model based on PyTorch. We train it for image classification on CIFAR10.

Language:Python1000

gconv_experiments

Experiments with Group Equivariant Convolutional Networks

Language:PythonMIT12000

GrouPy

Group Equivariant Convolutional Neural Networks

Language:PythonNOASSERTION35100

pytorch-gconv-experiments

Experiments with Group Equivariant Convolutions in PyTorch

Language:Python10900

pure-maths-yamls

Descriptions of the main theorems and definitions in all the pure maths courses at Imperial

Apache-2.0700

mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

Language:LeanApache-2.0166700

xena

Lean Library currently studying for a degree at Imperial College

Language:Lean22600

SeqVec

Modelling the Language of Life - Deep Learning Protein Sequences

Language:PythonMIT6900