My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
☆82Sep 5, 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:
- FLINT (Fast Library for Number Theory)☆647Updated this week
- BSD Licensed Bignum Library☆233Mar 12, 2024Updated 2 years ago
- 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☆482Mar 16, 2024Updated 2 years ago
- Julia package for the Singular library☆20Oct 12, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆60Mar 15, 2023Updated 3 years ago
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆97Jul 15, 2022Updated 4 years ago
- Combinators in C☆37Jun 5, 2012Updated 14 years ago
- Algorithms in C++17☆15Aug 15, 2026Updated 3 weeks ago
- 🚀 Sum of the primes below x☆41Jun 17, 2022Updated 4 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
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- GSoC Student Assessment Tool☆24Mar 27, 2018Updated 8 years ago
- Embedded algebraic number fields☆14Aug 17, 2026Updated 3 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated 2 years ago
- Mix Network Bibliography☆15Feb 6, 2020Updated 6 years ago
- C library to compute the Hamming weight of arrays☆51Dec 9, 2018Updated 7 years ago
- Mirror of Agner Fog's C++ vector class library☆30Aug 17, 2019Updated 7 years ago
- A certified RISC-V Interpreter with Hoare-logic in Lean☆22Aug 11, 2026Updated 3 weeks ago
- Weighted Wang tiling.☆12May 21, 2015Updated 11 years ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆30Updated this week
- A lightweight C++11 Monte Carlo molecular simulation engine☆10Aug 1, 2017Updated 9 years ago
- A quick reference for mapping Coq tactics to Lean tactics☆72Apr 23, 2021Updated 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.
- Some benchmarks of SymPy☆18Jul 30, 2026Updated last month
- A hex editor. Be hexcellent to each other.☆23Jan 4, 2026Updated 8 months ago
- Formalizing results about the Mandelbrot set in Lean☆30Aug 16, 2026Updated 3 weeks ago
- A "git trac" subcommand for git☆13Apr 6, 2022Updated 4 years ago
- arbitrary precision arithmetic library☆46Nov 14, 2018Updated 7 years ago
- Add missing imports.☆32Sep 17, 2014Updated 11 years ago
- Convert .rst to .ipynb☆19Oct 4, 2023Updated 2 years ago
- Propositional Dynamic Logic in Lean 4, showing Craig Interpolation via Tableau☆16Updated this week
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Partial evaluator for Arm's Architecture Specification Language (ASL)☆18Jun 12, 2026Updated 2 months ago
- Rigorous computation of the endomorphism ring of a Jacobian☆12May 14, 2026Updated 3 months ago
- Multinomials for the Mathematical Components library.☆17Aug 20, 2026Updated 2 weeks ago
- 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
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Rust bindings to [primesieve](http://primesieve.org)☆10May 7, 2017Updated 9 years ago