General Multi-Precision arithmetic for Python 2.6+/3+ (GMP, MPIR, MPFR, MPC)

A procedural dungeon generator datapack for Minecraft. Explore the dungeons for enough resources to complete the victory monument! See readme for more info.

Interval arithmetic for real computation

Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, con…

posit (unum type III) integrated Tensorflow.

Probably correct posit prototype for python

posit (unum type III) integrated Numpy

Tools to process ARM's Machine Readable Architecture Specification

MTGJSON repository for Magic Cards

A Programming Language for Deep Learning

The Z3 Theorem Prover

Efficient, reusable RNNs and LSTMs for torch

Combined MCEdit & Pymclevel repository.

MCEdit 2.0 - World Editor for Minecraft.

http://torch.ch

Multi-layer Recurrent Neural Networks (LSTM, GRU, RNN) for character-level language models in Torch

Reborn cscope extension for emacs