girving/pentago

A massively parallel pentago solver

Language: C++ - Size: 6.48 MB - Last synced: 17 days ago - Pushed: 17 days ago - Stars: 49 - Forks: 2

girving/ray

Formalizing results about the Mandelbrot set in Lean

Language: Lean - Size: 1.71 MB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 16 - Forks: 3

girving/adventurer

App made together with Mae

Language: Swift - Size: 7.23 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

girving/mandelbrot

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

Language: C++ - Size: 527 KB - Last synced: 3 months ago - Pushed: 4 months ago - Stars: 7 - Forks: 1

girving/vscode-lean4 Fork of leanprover/vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Size: 6.96 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

girving/lean4 Fork of leanprover/lean4

Lean 4 programming language and theorem prover

Size: 1.08 GB - Last synced: 2 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

girving/pixel Fork of DanBuehrer/pixel

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

Size: 1.5 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

girving/duck

a functional language built around overloading

Language: Haskell - Size: 1.63 MB - Last synced: about 1 year ago - Pushed: over 12 years ago - Stars: 10 - Forks: 2

girving/pentago-learn

Neural net branch

Language: C++ - Size: 4.87 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

girving/poker

Investigations into simplified holdem poker

Language: C++ - Size: 1.22 MB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 11 - Forks: 2

girving/random123-manual

Repository to track different versions of Salmon et al.'s Random123 library

Language: C - Size: 938 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 2 - Forks: 0

girving/random123 Fork of DEShawResearch/random123

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

Size: 2.22 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

girving/kalah

A perfect kalah player for up to 5 stones per bin

Language: C - Size: 133 KB - Last synced: about 1 year ago - Pushed: almost 15 years ago - Stars: 6 - Forks: 0

girving/flann Fork of flann-lib/flann

Fast Library for Approximate Nearest Neighbors

Language: C++ - Size: 76.9 MB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 1 - Forks: 0

girving/cnpy

C code to write .npy files

Language: C - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 3 - Forks: 0

girving/geode Fork of otherlab/geode

A computational geometry library for C++ and Python

Language: C++ - Size: 4.04 MB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

girving/hugo-academic Fork of wowchemy/wowchemy-hugo-themes

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

Size: 7.1 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

girving/jax Fork of google/jax

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

Size: 23.4 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

girving/poster

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

Language: Python - Size: 302 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

girving/OpenEIT Fork of OpenEIT/OpenEIT

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

Language: Python - Size: 186 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

girving/custom-op-bug

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

Language: Python - Size: 1000 Bytes - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

girving/metadata Fork of tensorflow/metadata

Utilities for passing TensorFlow-related metadata between tools

Language: Python - Size: 21.5 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

girving/deepmath Fork of tensorflow/deepmath

Experiments towards neural network theorem proving

Language: C++ - Size: 1.09 MB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 2 - Forks: 0

girving/tensorflow Fork of tensorflow/tensorflow

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

Language: C++ - Size: 310 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

girving/post--example Fork of distillpub/post--example

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

Language: TeX - Size: 298 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

girving/protobuf Fork of protocolbuffers/protobuf

Protocol Buffers - Google's data interchange format

Language: C++ - Size: 31.7 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

girving/lucid Fork of tensorflow/lucid

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

Language: Jupyter Notebook - Size: 13 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

girving/games

Combinatorial game theory exploration code

Language: Haskell - Size: 97.7 KB - Last synced: about 1 year ago - Pushed: over 12 years ago - Stars: 2 - Forks: 1

girving/trust

Visualizing the web of trust

Language: JavaScript - Size: 131 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 1 - Forks: 1

girving/pyrax Fork of pycontribs/pyrax

The Python SDK for the Rackspace Cloud

Language: Python - Size: 6.22 MB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

girving/igakit

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

Language: Python - Size: 777 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 1 - Forks: 4

girving/fold Fork of tensorflow/fold

Deep learning with dynamic computation graphs in TensorFlow

Language: Python - Size: 1.4 MB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

girving/tensorflow-ocaml Fork of LaurentMazare/tensorflow-ocaml

OCaml bindings for TensorFlow

Language: OCaml - Size: 13.1 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

girving/eprover Fork of eprover/eprover

Language: C - Size: 4.54 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 1

girving/neveragaindottech.github.io Fork of neveragaindottech/neveragaindottech.github.io

Source files for the neveragain.tech site

Language: HTML - Size: 79.1 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

girving/hol-light Fork of jrh13/hol-light

The HOL Light theorem prover (moved from Google code)

Language: Standard ML - Size: 12.3 MB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

girving/waitless

A prototype build system

Language: C - Size: 152 KB - Last synced: about 1 year ago - Pushed: over 12 years ago - Stars: 2 - Forks: 0

girving/meme

Thoughts about proof languages

Language: C - Size: 105 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

girving/kelvin

A language experiment

Language: Haskell - Size: 97.7 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

girving/caffe Fork of BVLC/caffe

Caffe: a fast open framework for deep learning.

Language: C++ - Size: 33.3 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 1

girving/torch7 Fork of torch/torch7

Language: C - Size: 1.04 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

girving/developer.rackspace.com Fork of rackerlabs/developer.rackspace.com

Gen 3 of the developer.rackspace.com Portal

Language: CSS - Size: 47 MB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

girving/ace Fork of ajaxorg/ace

Ace (Ajax.org Cloud9 Editor)

Size: 28.8 MB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

girving/xdress Fork of xdress/xdress

Cython-based, NumPy-aware automatic wrapper generation for C / C++.

Language: Python - Size: 2.73 MB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

girving/shuffle

Proposal for interactive algebraic manipulation

Language: TeX - Size: 129 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

girving/mold

A random walk of a multicolored circle

Language: Python - Size: 145 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

girving/rational

Fixed precision rational numbers exposed to python to test numpy user defined types

Language: C - Size: 1.09 MB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 1 - Forks: 0

girving/meld

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

Language: Python - Size: 2.42 MB - Last synced: about 1 year ago - Pushed: almost 15 years ago - Stars: 2 - Forks: 2

girving/banana

An automated Bananagram player

Language: JavaScript - Size: 723 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 1 - Forks: 0

girving/ideas

Miscellaneous very low priority ideas

Size: 89.8 KB - Last synced: about 1 year ago - Pushed: almost 13 years ago - Stars: 1 - Forks: 0

girving/wordpress

Fork of http://core.svn.wordpress.org

Size: 16.6 MB - Last synced: about 1 year ago - Pushed: almost 15 years ago - Stars: 1 - Forks: 1

girving/kiss

Investigations into sphere kissing numbers in 3D

Language: Python - Size: 109 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

girving/pbrt Fork of mmp/pbrt-v2

Source code for the version of pbrt described in the second edition of "Physically Based Rendering"

Language: C - Size: 40.7 MB - Last synced: about 1 year ago - Pushed: over 12 years ago - Stars: 1 - Forks: 0

girving/numpy Fork of numpy/numpy

Numpy main repository

Language: C - Size: 22.7 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

girving/git Fork of git/git

Git Source Code Mirror

Language: C - Size: 23.8 MB - Last synced: about 1 year ago - Pushed: almost 15 years ago - Stars: 0 - Forks: 1