PyMPF

Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks

GPL-3.0 License

Downloads
79
Stars
4
View Code on GitHub
Ecosystems: Python

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
0
15
Time to Close Issues
N/A
2 months
Package Rankings
Top 22.0% on Pypi.org
Related Projects
gmpy_cffi

GMP CFFI wrapper

04 Nov 2013 8
pysfm

Python implementation of bundle adjustment

18 Aug 2012 46
python-cffi-demo

Python CFFI demo: interfacing C++, Fortran, and Python.

30 May 2015 22
pygbm

Experimental Gradient Boosting Machines in Python with numba.

04 Aug 2018 183
pyfma

Fused multiply-add (with a single rounding) for Python.

20 Feb 2018 19
pysmt

pySMT: A library for SMT formulae manipulation and solving

01 Dec 2014 569
pymc-example-tfr-hdi

Example PyMC Project - Replication of the TFR-HDI controversy

24 May 2011 6
openblas-bench

22 Apr 2024 0
fp_test_generator

Random floating-point testcase generator for SMT-LIB

27 Mar 2019 0
pyctqw

Distributed memory CTQW Fortran library and Python module

03 Sep 2013 7
python-fsps

Python bindings to Charlie Conroy's Flexible Stellar Population Synthesis (FSPS) Fortran code

19 Apr 2012 65
PyVCG

Verification Condition Generator

30 Jun 2023 2
PyOptim

Python numerical optimization toolbox

10 Nov 2016 12
numcertainties

uncertainty quantification for numerical computations

04 Sep 2022 0
bls.py

A reference implementation of box least squares in Python

03 Mar 2018 5