My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
☆82May 23, 2026Updated this week
Alternatives and similar repositories for flint
Users that are interested in flint are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Dec 15, 2012Updated 13 years ago
- Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆476Mar 16, 2024Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Mar 15, 2023Updated 3 years ago
- A collection of tools and algorthithms used by Clemson ACM☆15Oct 7, 2016Updated 9 years ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Nov 25, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Combinators in C☆37Jun 5, 2012Updated 13 years ago
- Multiple Precision Integers and Rationals☆245Dec 5, 2024Updated last year
- BSD Licensed Bignum Library☆233Mar 12, 2024Updated 2 years ago
- A lightweight C++11 Monte Carlo molecular simulation engine☆10Aug 1, 2017Updated 8 years ago
- An arbitrary precision library written in C which supports fractional datum. Arbitraire is fully portable to all linux, mac and netbsd/fr…☆17Jul 14, 2023Updated 2 years ago
- Some benchmarks of SymPy☆17Mar 16, 2026Updated 2 months ago
- A lambda calculus for quantum computation☆13Oct 27, 2018Updated 7 years ago
- arbitrary precision arithmetic library☆45Nov 14, 2018Updated 7 years ago
- Multinomials for the Mathematical Components library.☆17Apr 14, 2026Updated last month
- 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.
- A Java based renderer for algebraic surfaces.☆17Mar 29, 2023Updated 3 years ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- ☆14Jan 28, 2020Updated 6 years ago
- Python bindings for Flint and Arb☆146May 22, 2026Updated last week
- Jupyter Kernel for Xonsh☆22Jul 24, 2016Updated 9 years ago
- x86 assembler in scheme☆29Apr 14, 2019Updated 7 years ago
- Lean formalizations of Putnam-like problems☆19Apr 22, 2026Updated last month
- A Python CAS library☆73Updated this week
- GSoC Student Assessment Tool☆24Mar 27, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Tools for creating binary tarballs☆16Aug 23, 2021Updated 4 years ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 10 months ago
- Try a tactic at each step in a Lean proof.☆36Apr 5, 2026Updated last month
- Clean-sheet rewrite of Pyth.☆13Sep 1, 2015Updated 10 years ago
- C# bindings for JPEG-XL library☆10May 17, 2024Updated 2 years ago
- With this bash script you can, via command line, list and set already configured display profiles in xfce4-display-settings. This is usef…☆16Mar 1, 2026Updated 2 months ago
- Jupyter kernels for GAP☆12Feb 1, 2018Updated 8 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆65Sep 11, 2025Updated 8 months ago
- Boost.org proto module☆23Apr 23, 2026Updated last month
- 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.
- A PHP library for encoding JPEG XL images. Very much inspired by WebP Convert.☆19Jul 15, 2024Updated last year
- The source for the code at live.sympy.org☆118Aug 20, 2025Updated 9 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆56Jun 23, 2022Updated 3 years ago
- A compiler for secure multiparty computation☆50Sep 4, 2016Updated 9 years ago
- Matroids in Lean☆18Dec 23, 2023Updated 2 years ago
- ☆17Dec 3, 2023Updated 2 years ago
- Hardware and software of Taiji-Uino DUE(Arduino DUE compitable board)☆11Mar 3, 2015Updated 11 years ago