Python wrapper for MPFR, providing high-precision floating-point arithmetic
☆44Mar 22, 2024Updated 2 years ago
Alternatives and similar repositories for bigfloat
Users that are interested in bigfloat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Mar 3, 2025Updated last year
- Assembly like language to program CPython VM directly.☆10Sep 13, 2021Updated 4 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- Unofficial mirror of GMP development branch☆24Feb 4, 2025Updated last year
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Mar 20, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- General Multi-Precision arithmetic for Python (GMP, MPIR, MPFR, MPC)☆584Apr 3, 2026Updated 3 weeks ago
- FNV hash collision generator☆12Mar 2, 2017Updated 9 years ago
- Evolving LangChain agent architectures using the Quality-Diversity (QD) algorithm.☆17Aug 29, 2025Updated 8 months ago
- ☆28Oct 13, 2025Updated 6 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.☆24Apr 7, 2026Updated 3 weeks ago
- Run flake8 checks on code in *.rst files or in docstrings☆22Feb 26, 2021Updated 5 years ago
- MCMC Metropolis Hastings and Bayesian Regression from Scratch☆14Dec 28, 2023Updated 2 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 8 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 6 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- Friendly professional-level data reduction...documentation here:☆27Oct 27, 2025Updated 6 months ago
- Celery stress testing and integration test support☆31Aug 14, 2024Updated last year
- Implementation of 12 AI agents evaluation techniques☆40Jul 31, 2025Updated 9 months ago
- Fast, Minimal and generic Fuzzy Search Index☆13Jun 18, 2025Updated 10 months ago
- Vim syntax highlight and indent definition for coconut.☆19Oct 10, 2017Updated 8 years ago
- Experiments with modal types☆17Oct 20, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- The pythoncapi-compat project can be used to write a C extension supporting a wide range of Python versions with a single code base.☆106Mar 19, 2026Updated last month
- Optical Lens Experiment Simulation☆12Feb 26, 2020Updated 6 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- miniKanren with a first-order representation of the search space☆17Mar 11, 2026Updated last month
- Parallel COLA cosmological simulation + 2LPT initial condition generator + FoF halo finder☆12May 12, 2023Updated 2 years ago
- Infix and Postfix library for Clojure that was cut from the book.☆32Feb 5, 2021Updated 5 years ago
- fileshack allows you to create your own hosted web file storage, easy☆48Feb 21, 2024Updated 2 years ago
- Backport of PEP 562☆14May 21, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Cmake 官方教程 -> 在线阅读☆11Mar 9, 2018Updated 8 years ago
- [WIP] revamping the repo to publish on hugo themes☆13May 11, 2025Updated 11 months ago
- Linear algebra utilities for Python☆13Oct 28, 2025Updated 6 months ago
- A Python CAS library☆73Apr 2, 2026Updated 3 weeks ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆22Mar 29, 2026Updated last month
- Deep research agentic system using Time Test Diffusion☆45Dec 11, 2025Updated 4 months ago
- An ocaml implementation of conflict-driven reasoning☆14Jul 13, 2018Updated 7 years ago