j-towns Goto Github PK

agda-prelude

Programming library for Agda

ans-notes

Tutorial paper and code for rANS

autograd

Efficiently computes derivatives of numpy code.

bazel

a fast, scalable, multi-language and extensible build system

bits-back

crayjax

JAX implementation of vectorized rANS.

craystack

Compression tools for machine learning researchers

dask

Versatile parallel programming with task scheduling

declarativewidgets

Jupyter Declarative Widget Extension

dotfiles

fastar

flax

Flax is a neural network library for JAX that is designed for flexibility.

flipper

Reversible programming in Agda

igrapher

iprofiler

Interactive code profiling widget for IPython + Jupyter Notebook

j-towns.github.io

jax

GPU- and TPU-backed NumPy with differentiation and JIT compilation.

jaxnet

Alternative to TensorFlow2/Keras/PyTorch for more concise, robust and optimized deep learning code

jtex

learning-to-learn

Learning to Learn in TensorFlow

line_profiler

Line-by-line profiling for Python

numpy

Numpy main repository

plfa.github.io

An introduction to programming language theory in Agda

pointy-stax

pymanopt

Python toolbox for optimization on manifolds with support for automatic differentiation

qr-derivative

ssm-code

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

tensorflow

Computation using data flow graphs for scalable machine learning

twenty-fifty

The old web front end to the DECC 2050 Pathways Calculator Excel Model. The new code is at https://github.com/decc/twenty-fifty-new-look. See the old code working at: http://old-interface.2050.org.uk

ucl-latex-thesis-templates

UCL LaTeX thesis templates.