Skip to content
View billzorn's full-sized avatar
17 followers · 0 following
  • UW
  • Seattle

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Block or report billzorn

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

  • mtgencode Public

    Data management utilities for creating Magic the Gathering cards with neural networks.

    Python 164 32 MIT License Updated Oct 10, 2023

  • titanic Public

    Guaranteed to float correctly

    Jupyter Notebook 7 1 MIT License Updated Mar 14, 2023

  • fpy Public

    FPCore language utilities

    MIT License Updated Nov 19, 2020

  • ndpy Public

    N-dimensional sequences for Python

    Python MIT License Updated Nov 19, 2020

  • pumpkin-pi Public

    Forked from uwplse/pumpkin-pi

    An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

    Coq MIT License Updated Oct 9, 2020

  • tvm Public

    Forked from apache/tvm

    Open deep learning compiler stack for cpu, gpu and specialized accelerators

    Python Apache License 2.0 Updated Oct 14, 2019

  • numsweep Public

    finding the right numerical types for ML

    Python BSD 3-Clause "New" or "Revised" License Updated Oct 12, 2019

  • mtg-rnn Public

    Forked from karpathy/char-rnn

    Multi-layer Recurrent Neural Networks (LSTM, GRU, RNN) for character-level language models in Torch. Custom modifications to allow better support for Magic: the Gathering card generation.

    Lua 70 18 Updated Sep 27, 2019

  • sfpy Public

    softfloat and softposit in Python

    Python 12 MIT License Updated Aug 2, 2019

  • FPBench Public

    Forked from FPBench/FPBench

    Working toward a standard of floating point accuracy benchmarks.

    Racket Updated Jun 11, 2019

  • unpy Public

    universal number arithmetic in Python

    Python 1 MIT License Updated May 16, 2019

  • universal Public

    Forked from stillwater-sc/universal

    Universal Number Arithmetic

    C++ MIT License Updated Apr 7, 2019

  • vscode-fpcore Public

    Language support for FPCore floating-point benchmarks

    Updated Nov 27, 2018

  • common Public

    Configs and stuff.

    Emacs Lisp Updated Mar 28, 2018

  • SAT Public

    Solver Aided Toolchain

    Racket MIT License Updated Sep 22, 2017

  • synapse Public

    Forked from uwplse/synapse

    Optimizing Synthesis with Metasketches, POPL 2016

    Racket MIT License Updated Sep 8, 2017

  • oval Public

    Optimization Validation for ARM

    Racket Updated Jul 19, 2017

  • sexpdata Public

    Forked from jd-boyd/sexpdata

    S-expression parser for Python

    Python Updated Jul 11, 2017

  • py-mspdebug Public

    Python wrapper for controlling multiple MSP430 devices on Linux

    Python MIT License Updated Jun 22, 2017

  • bearmetal Public

    An ironclad webserver of epically limited capabilities.

    C MIT License Updated Mar 11, 2017

  • msp-pymodel Public

    work in progress

    Python MIT License Updated Jan 24, 2017

  • pydorf Public

    python utilities for managing Dwarf Fortress raws

    Python MIT License Updated Nov 15, 2016

  • dorfraw Public

    Mirror of Dwarf Fortress raw files, with improvements and modifications

    MIT License Updated Nov 1, 2016

  • torch-rnn Public

    Forked from jcjohnson/torch-rnn

    Efficient, reusable RNNs and LSTMs for torch

    Lua 1 MIT License Updated May 10, 2016

  • learning_to_execute Public

    Forked from wojciechz/learning_to_execute

    Learning to Execute

    Lua Apache License 2.0 Updated Apr 29, 2016