Stars
A project to digitalise results from physics into Lean.
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
A short course on JAX, automatic differentiation, the adjoint state method and differentiable simulators
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github…
PyTorch implementation of normalizing flow models
A computer algebra system written in pure Python
This repository contains C code that was used for searching for semi-realistic string vacua using Genetic Algorithms
ML Clifford invariants of Coxeter elements
An implementation of a genetic algorithm in Mathematica
Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Qhull development for www.qhull.org -- Qhull 2020.2 (8.1-alpha1) at https://github.com/qhull/qhull/wiki
[NeurIPS‘2021] "TransGAN: Two Pure Transformers Can Make One Strong GAN, and That Can Scale Up", Yifan Jiang, Shiyu Chang, Zhangyang Wang
Tensorflow implementation of MolGAN: An implicit generative model for small molecular graphs
A software package for analyzing Calabi-Yau manifolds.
A python library for studying Calabi-Yau metrics
xiao-yan / Tilings
Forked from DimerSystem/TilingsA Mathematica package to compute the dimer model & quiver theory given any toric diagram.
Graph Neural Network Library for PyTorch