Skip to content
View girving's full-sized avatar
384 followers · 3 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx2

Highlights

  • Pro

Block or report girving

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • ray Public

    Formalizing results about the Mandelbrot set in Lean

    lean4
    Lean 20 4 Apache License 2.0 Updated Oct 4, 2024

  • interval Public

    Conservative floating point interval arithmetic in Lean

    lean4
    Lean 7 1 Apache License 2.0 Updated Oct 3, 2024

  • pentago-learn Public

    Neural net branch

    C++ Other Updated Sep 30, 2024

  • pentago Public

    A massively parallel pentago solver

    C++ 49 2 Other Updated Sep 24, 2024

  • debate Public

    Forked from google-deepmind/debate

    Formalizing stochastic doubly-efficient debate

    lean4
    Lean 3 Apache License 2.0 Updated Sep 9, 2024

  • adventurer Public

    App made together with Mae

    Swift Updated Mar 26, 2024

  • lean4 Public

    Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    Lean Apache License 2.0 Updated Mar 4, 2024

  • leanprover-community.github.io Public

    Forked from leanprover-community/leanprover-community.github.io

    Hosts the website for mathlib and other Lean community infrastructure.

    CSS MIT License Updated Feb 19, 2024

  • vscode-lean4 Public

    Forked from leanprover/vscode-lean4

    Visual Studio Code extension for the Lean 4 proof assistant

    TypeScript Apache License 2.0 Updated Jan 17, 2024

  • mandelbrot Public

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

    C++ 7 1 Other Updated Jan 8, 2024

  • hugo-academic Public

    Forked from HugoBlox/hugo-blox-builder

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

    HTML MIT License Updated Nov 21, 2022

  • random123 Public

    Forked from DEShawResearch/random123

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

    C++ Other Updated Jan 17, 2022

  • cnpy Public

    C code to write .npy files

    C 4 Other Updated Apr 3, 2021

  • pixel Public

    Forked from DanBuehrer/pixel

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

    JavaScript MIT License Updated Sep 4, 2020

  • jax Public

    Forked from jax-ml/jax

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

    Python Apache License 2.0 Updated Jul 1, 2020

  • poster Public

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

    Python 1 Other Updated Nov 16, 2019

  • tensorflow Public

    Forked from tensorflow/tensorflow

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

    C++ Apache License 2.0 Updated Apr 22, 2019

  • OpenEIT Public

    Forked from OpenEIT/OpenEIT

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

    Python Other Updated Mar 25, 2019

  • metadata Public

    Forked from tensorflow/metadata

    Utilities for passing TensorFlow-related metadata between tools

    Python Apache License 2.0 Updated Mar 20, 2019

  • custom-op-bug Public

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

    Python Updated Dec 18, 2018

  • post--example Public

    Forked from distillpub/post--example

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

    TeX Creative Commons Attribution 4.0 International Updated Aug 30, 2018

  • lucid Public

    Forked from tensorflow/lucid

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

    Jupyter Notebook Apache License 2.0 Updated Jun 11, 2018

  • numpy Public

    Forked from numpy/numpy

    Numpy main repository

    C 1 BSD 3-Clause "New" or "Revised" License Updated Feb 22, 2018

  • geode Public

    Forked from otherlab/geode

    A computational geometry library for C++ and Python

    C++ 1 Other Updated Apr 12, 2017

  • hol-light Public

    Forked from jrh13/hol-light

    The HOL Light theorem prover (moved from Google code)

    Standard ML Other Updated Apr 10, 2017

  • fold Public

    Forked from tensorflow/fold

    Deep learning with dynamic computation graphs in TensorFlow

    Python Apache License 2.0 Updated Mar 17, 2017

  • deepmath Public

    Forked from tensorflow/deepmath

    Experiments towards neural network theorem proving

    C++ 2 Apache License 2.0 Updated Mar 10, 2017

  • tensorflow-ocaml Public

    Forked from LaurentMazare/tensorflow-ocaml

    OCaml bindings for TensorFlow

    OCaml Apache License 2.0 Updated Feb 14, 2017

  • eprover Public

    Forked from eprover/eprover
    C 1 Other Updated Feb 7, 2017

  • neveragaindottech.github.io Public

    Forked from neveragaindottech/neveragaindottech.github.io

    Source files for the neveragain.tech site

    HTML Updated Dec 13, 2016