alexjbest/buntes alexjbest/buntes

  • Stars
    star
    1
  • Language Pug
  • Created about 6 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
alexjbest/buntes
github

alexjbest

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

BU Number Theory Expository Seminar

More Repositories

1

ajs

Asmjit superoptimiser
C++
9
star
2

dag-tools

Lean
4
star
3

lean-generalisation

Lean
4
star
4

cluster-pictures

This package implements the machinery of cluster pictures of Maistret, Morgan, Dokchitser and Dokchitser in Sage.
Jupyter Notebook
3
star
5

CAP-game

Lean
2
star
6

jitasm

Automatically exported from code.google.com/p/jitasm
C++
2
star
7

tweet-map

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

visualiser

A web tool for visualising promoter sequences of DNA.
HTML
1
star
9

icpc-tcr

Team contest reference for ACM ICPC type programming competitions.
Java
1
star
10

bw

Implementation of kernel over F_2 via the block Wiedemann algorithm.
C
1
star
11

alexjbest.github.io

My simple homepage for quick access to files and links.
CSS
1
star
12

leaff

lean-diff
Lean
1
star
13

ant-lorentz

Lean
1
star
14

notebooks

Some mathy ipython notebooks (in Sage / Magma probably)
Jupyter Notebook
1
star
15

talks

Slides and notes I have prepared for talks.
JavaScript
1
star
16

mjolnir

My Jumbo Open Lecture Note of Interest Repository
HTML
1
star