girving

pentago

A massively parallel pentago solver

ray

Formalizing results about the Mandelbrot set in Lean

mandelbrot

Bounding the area of the Mandelbrot set via the Böttcher series

cnpy

C code to write .npy files

deepmath

Experiments towards neural network theorem proving

geode

A computational geometry library for C++ and Python

numpy

Numpy main repository

pentago-learn

Neural net branch

poster

Posters based on Irving and Segerman, "Developing Fractal Curves".

adventurer

App made together with Mae

caffe

Caffe: a fast open framework for deep learning.

custom-op-bug

Minimized test case for https://github.com/tensorflow/tensorflow/issues/23561

eprover

fold

Deep learning with dynamic computation graphs in TensorFlow

hol-light

The HOL Light theorem prover (moved from Google code)

hugo-academic

📝 The website builder for Hugo. Build and deploy a beautiful website in minutes!

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

lean4

Lean 4 programming language and theorem prover

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

lucid

A collection of infrastructure and tools for research in neural network interpretability.

metadata

Utilities for passing TensorFlow-related metadata between tools

neveragaindottech.github.io

Source files for the neveragain.tech site

OpenEIT

Python based dashboard for real-time Electrical Impedance Tomography including image reconstruction using Back Projection, Graz Consensus and Gauss Newton methods

pixel

Code for the single pixel debate game from the paper "AI safety via debate" (https://arxiv.org/abs/1805.00899)

post--example

Example Distill article repository—clone, rename, start writing!

protobuf

Protocol Buffers - Google's data interchange format

random123

Counter-based random number generators for C, C++ and CUDA.

tensorflow

Open source software library for numerical computation using data flow graphs.

tensorflow-ocaml

OCaml bindings for TensorFlow

vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant