girving Goto Github PK

ace

Ace (Ajax.org Cloud9 Editor)

adventurer

App made together with Mae

banana

An automated Bananagram player

caffe

Caffe: a fast open framework for deep learning.

cnpy

C code to write .npy files

custom-op-bug

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

deepmath

Experiments towards neural network theorem proving

developer.rackspace.com

Gen 3 of the developer.rackspace.com Portal

duck

a functional language built around overloading

eprover

flann

Fast Library for Approximate Nearest Neighbors

fold

Deep learning with dynamic computation graphs in TensorFlow

games

Combinatorial game theory exploration code

geode

A computational geometry library for C++ and Python

git

Git Source Code Mirror

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!

ideas

Miscellaneous very low priority ideas

igakit

Personal clone of https://bitbucket.org/dalcinl/igakit

jax

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

kalah

A perfect kalah player for up to 5 stones per bin

kelvin

A language experiment

kiss

Investigations into sphere kissing numbers in 3D

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.

mandelbrot

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

meld

Fork of http://git.gnome.org/cgit/meld

meme

Thoughts about proof languages

metadata

Utilities for passing TensorFlow-related metadata between tools