alexjbest Goto Github PK

abstractalgebra.jl

Generic abstract algebra functionality in pure Julia (no C dependencies)

ajs

Asmjit superoptimiser

alexjbest.github.io

My simple homepage for quick access to files and links.

ant-lorentz

aoc

advent of code

archive

An archive of Zulip posts from https://leanprover.zulipchat.com/

arxiv-number-extraction

asmjit

Complete x86/x64 JIT and Remote Assembler for C++

aut-forms-arthur-selberg

Automorphic Forms and the Arthur-Selberg Trace Formula

blota

Bookwork learning online testing application

buntes

BU Number Theory Expository Seminar

bw

Implementation of kernel over F_2 via the block Wiedemann algorithm.

cap-game

chabnf

sikseks chabnf progrmas

chimp

Chimp Hopefully Installs Magma Packages 🐒🦄🚀🌋📦

cluster-pictures

This package implements the machinery of cluster pictures of Maistret, Morgan, Dokchitser and Dokchitser in Sage.

coleman.jl

Coleman integration in Julia/Nemo

csv

CSV for Lean 4.

cypari2

dag-tools

days117

def-gal

Notes for Rob Pollack's course MA842 Deformation theory of Galois representations, at BU in Spring 2020

doc-gen

Generate HTML documentation for mathlib and Lean

doc-gen4

Document Generator for Lean 4

equidistribution

Equidistribution in Number Theory

etalecohomology

fork of Max Lieblich's work which unfortunately dropped off the web!

flint2

FLINT (Fast Library for Number Theory)

gfortran_impl_osx-64-feedstock

A conda-smithy repository for gfortran_impl_osx-64.

hecke.jl

Computational algebraic number theory

hodge-diamond-cutter

Compute Hodge numbers for many classes of smooth projective varieties