Discover @alexjbest Open Source projects

Alex J Best (@alexjbest)

alexjbest

Stars
36
Global Rank 427,946 (Top 15 %)
Followers 35
Following 74
Registered over 12 years ago
Most used languages

Lean 29.4 %

JavaScript
11.8 %

Jupyter Notebook
11.8 %

HTML
11.8 %

C++
11.8 %

C
5.9 %

Java
5.9 %

Pug 5.9 %

CSS
5.9 %
Location 🇬🇧 United Kingdom
Country Total Rank 16,374
Country Ranking

Lean 12

Pug 16

C++
1,978

Jupyter Notebook
2,569

CSS
3,809

C
4,953

HTML
5,608

Java
6,674

ajs

Asmjit superoptimiser

dag-tools

lean-generalisation

cluster-pictures

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

Jupyter Notebook

CAP-game

jitasm

Automatically exported from code.google.com/p/jitasm

tweet-map

A simple live updating map of the earth, showing tweets as they happen. Uses node.js.

visualiser

A web tool for visualising promoter sequences of DNA.

icpc-tcr

Team contest reference for ACM ICPC type programming competitions.

bw

Implementation of kernel over F_2 via the block Wiedemann algorithm.

alexjbest.github.io

My simple homepage for quick access to files and links.

leaff

ant-lorentz

buntes

BU Number Theory Expository Seminar

notebooks

Some mathy ipython notebooks (in Sage / Magma probably)

Jupyter Notebook

talks

Slides and notes I have prepared for talks.

mjolnir

My Jumbo Open Lecture Note of Interest Repository