Pinned Repositories
bearmetal
An ironclad webserver of epically limited capabilities.
common
Configs and stuff.
dorfraw
Mirror of Dwarf Fortress raw files, with improvements and modifications
FPBench
Working toward a standard of floating point accuracy benchmarks.
mtg-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.
mtgencode
Data management utilities for creating Magic the Gathering cards with neural networks.
sfpy
softfloat and softposit in Python
titanic
Guaranteed to float correctly
torch-rnn
Efficient, reusable RNNs and LSTMs for torch
unpy
universal number arithmetic in Python
billzorn's Repositories
billzorn/mtgencode
Data management utilities for creating Magic the Gathering cards with neural networks.
billzorn/mtg-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.
billzorn/sfpy
softfloat and softposit in Python
billzorn/titanic
Guaranteed to float correctly
billzorn/torch-rnn
Efficient, reusable RNNs and LSTMs for torch
billzorn/unpy
universal number arithmetic in Python
billzorn/bearmetal
An ironclad webserver of epically limited capabilities.
billzorn/common
Configs and stuff.
billzorn/dorfraw
Mirror of Dwarf Fortress raw files, with improvements and modifications
billzorn/FPBench
Working toward a standard of floating point accuracy benchmarks.
billzorn/fpy
FPCore language utilities
billzorn/learning_to_execute
Learning to Execute
billzorn/msp-pymodel
work in progress
billzorn/ndpy
N-dimensional sequences for Python
billzorn/numsweep
finding the right numerical types for ML
billzorn/oval
Optimization Validation for ARM
billzorn/pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
billzorn/py-mspdebug
Python wrapper for controlling multiple MSP430 devices on Linux
billzorn/pydorf
python utilities for managing Dwarf Fortress raws
billzorn/SAT
Solver Aided Toolchain
billzorn/sexpdata
S-expression parser for Python
billzorn/synapse
Optimizing Synthesis with Metasketches, POPL 2016
billzorn/tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
billzorn/universal
Universal Number Arithmetic
billzorn/vscode-fpcore
Language support for FPCore floating-point benchmarks