Jamie Townsend (@j-towns)
github

j-towns

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    210
  • Global Rank 118,622 (Top 5 %)
  • Followers 129
  • Following 11
  • Registered about 9 years ago
  • Most used languages
    Python
         60.0 %
    Agda     20.0 %
    Jupyter Notebook
         10.0 %
    TeX
         10.0 %
  • Location πŸ‡³πŸ‡± Netherlands
  • Country Total Rank 2,153
  • Country Ranking
    Agda     6
    TeX
         110
    Python
         383
    Jupyter Notebook
         1,232

Top repositories

1

craystack

Compression tools for machine learning researchers
Python
82
star
2

vdvae-jax

Very deep VAEs in JAX/Flax
Python
45
star
3

iprofiler

Interactive code profiling widget for IPython + Jupyter Notebook
Python
30
star
4

fastar

Python
15
star
5

flipper

Reversible programming in Agda
Agda
11
star
6

ans-notes

Tutorial paper and code for rANS
TeX
8
star
7

ssm-code

Code for the paper "Lossless compression with state space models using bits back coding" - https://arxiv.org/abs/2103.10150
Python
8
star
8

crayjax

JAX implementation of vectorized rANS.
Python
4
star
9

j-towns.github.io

Jupyter Notebook
2
star
10

vANS

Formally verified implementation of asymmetric numeral systems (ANS)
Agda
1
star