bigfloat

Python wrapper for MPFR, providing high-precision floating-point arithmetic

polyhedron

Robust point-in-polyhedron testing.

refcycle

Support for displaying and analyzing reference graphs of Python objects.

repeat

Really simple Python script to repeat a command indefinitely.

rounders

snippets

Odds and ends, collected together for convenience

simplefractions

pcgrandom

Drop-in replacement for Python's random.Random based on the PCG family of PRNGs.

church

Simple interpreter for the untyped lambda calculus

quadfloat

Unofficial reference implementation of IEEE 754 (2008) binary interchange formats.

float-proofs

Experiments with Coq to prove some results about floating-point.

pentagrid