Python wrapper for MPFR, providing high-precision floating-point arithmetic
☆44Mar 22, 2024Updated last year
Alternatives and similar repositories for bigfloat
Users that are interested in bigfloat are comparing it to the libraries listed below
Sorting:
- ☆13Mar 3, 2025Updated last year
- Automatically exported from code.google.com/p/sympycore☆11Aug 5, 2015Updated 10 years ago
- Assembly like language to program CPython VM directly.☆10Sep 13, 2021Updated 4 years ago
- A small wrapper around flake8 enabling pyproject.toml☆11Nov 28, 2025Updated 3 months ago
- Examples of converting COBOL to Java using Ispirer Toolkit☆20Mar 3, 2025Updated last year
- General Multi-Precision arithmetic for Python (GMP, MPIR, MPFR, MPC)☆578Mar 7, 2026Updated last week
- FNV hash collision generator☆12Mar 2, 2017Updated 9 years ago
- Evolving LangChain agent architectures using the Quality-Diversity (QD) algorithm.☆17Aug 29, 2025Updated 6 months ago
- Functional algorithms - definitions and implementations☆13Oct 17, 2025Updated 5 months ago
- Modelo Latex (GAMBIARRA) de Tese PPGCC - UFMG☆10Jan 24, 2022Updated 4 years ago
- Paper introducing jax-cosmo☆13Apr 27, 2023Updated 2 years ago
- ☆28Oct 13, 2025Updated 5 months ago
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 9 years ago
- No more certifi! System trust store at hand. In Pure Python.☆23Updated this week
- half-precision floating-point☆17Mar 2, 2026Updated 2 weeks ago
- Run flake8 checks on code in *.rst files or in docstrings☆22Feb 26, 2021Updated 5 years ago
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- Celery stress testing and integration test support☆30Aug 14, 2024Updated last year
- Implementation of 12 AI agents evaluation techniques☆37Jul 31, 2025Updated 7 months ago
- Experiments with modal types☆17Oct 20, 2020Updated 5 years ago
- Fast, Minimal and generic Fuzzy Search Index☆13Jun 18, 2025Updated 9 months ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- Optical Lens Experiment Simulation☆12Feb 26, 2020Updated 6 years ago
- Play fast and loose with IEEE-754 rewrite RULES☆25Aug 1, 2015Updated 10 years ago
- Diagnostics for Conditional Density Estimators and Bayesian Inference Algorithms☆15Apr 3, 2022Updated 3 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 2 years ago
- Uma classe LaTeX para dissertações, teses e propostas do Programa de Pós-Graduação em Ciência da Computação (PPGCC) da Universidade Feder…☆11Jul 4, 2022Updated 3 years ago
- miniKanren with a first-order representation of the search space☆17Mar 11, 2026Updated last week
- A crate for printing to a Windows printer device using Windows API.☆10Aug 29, 2024Updated last year
- Modified version of CLASS to work with EDE models.☆14Sep 26, 2024Updated last year
- A field theory inspired xAct package for Mathematica☆17Jul 28, 2016Updated 9 years ago
- Infix and Postfix library for Clojure that was cut from the book.☆32Feb 5, 2021Updated 5 years ago
- Browser-based packet viewer powered by Wireshark☆20Jul 28, 2025Updated 7 months ago
- Proof-of-Concept of the Frontal Attack☆11Jul 6, 2023Updated 2 years ago
- This repository contains C++ templates for making an Einstein-Boltzmann solver (a CAMB like code). This is used for the course AST5220 "C…☆15Apr 25, 2025Updated 10 months ago
- An arbitrary-precision integer and decimal library for Mojo, inspired by Python's int and Decimal.☆18Mar 6, 2026Updated 2 weeks ago
- Computer algebra for cosmological perturbation theory☆13Mar 28, 2018Updated 7 years ago
- A Python CAS library☆73Mar 3, 2026Updated 2 weeks ago