🚀 Sum of the primes below x
☆40Jun 17, 2022Updated 3 years ago
Alternatives and similar repositories for primesum
Users that are interested in primesum are comparing it to the libraries listed below
Sorting:
- 🚀 Fast prime counting function library☆348Updated this week
- A password validation and generation tool kit☆15Jan 7, 2023Updated 3 years ago
- Command line interface for quickly creating, authoring, and building PreTeXt documents.☆21Feb 19, 2026Updated 2 weeks ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- fast prime sieve and hash algorithm☆40Aug 31, 2025Updated 6 months ago
- Combinators in C☆38Jun 5, 2012Updated 13 years ago
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 2 years ago
- kbench is a test suite to benchmark several hash table implementations heavily based on Heng Li's udb☆12Jan 8, 2018Updated 8 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Oct 2, 2023Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- ☆14Updated this week
- Recursively browse the filesystem through Openbox pipe menus (with icons).☆13Dec 21, 2025Updated 2 months ago
- Yet Another Sokoban Solver and Optimizer - for Android☆16Jan 27, 2026Updated last month
- ☆12Feb 10, 2021Updated 5 years ago
- Deposited packages of the homalg project☆17Feb 24, 2026Updated last week
- Erku is an IPTV and video on demand client for the Roku OS.☆12Dec 29, 2024Updated last year
- BSD Licensed Bignum Library☆233Mar 12, 2024Updated last year
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆24Updated this week
- ☆25Apr 21, 2021Updated 4 years ago
- ☆18Jan 22, 2026Updated last month
- Cross platform desktop music player, with the ability to download songs from Youtube and Spotify, ability to share status in Discord, pla…☆15Updated this week
- vgMath - light, complete and ultra compact math library: quaternions, vectors and square Matrix for 3D graphichs backend: OpenGL / Vulkan…☆23Mar 16, 2025Updated 11 months ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Feb 26, 2026Updated last week
- Formalizing results about the Mandelbrot set in Lean☆29Dec 31, 2025Updated 2 months ago
- A set of c++ tools that provide nicer (more Qt-like) APIs on top of stl classes with a friendly license.☆22Feb 7, 2026Updated 3 weeks ago
- Julia package for the Singular library☆20Oct 12, 2021Updated 4 years ago
- Programming and data analysis advanced in R course in Spring 2022/23☆11Jun 20, 2023Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Mar 15, 2023Updated 2 years ago
- Modern GTK4 terminal emulator powered by Python. Fast, sleek, and extensible.☆47Updated this week
- PuPu is a lightweight tool that makes it easy to run AI models on your own device. Designed for smooth performance and ease of use, PuPu …☆22Updated this week
- C++ template library for floating point operations☆36Dec 28, 2025Updated 2 months ago
- A C++ wrapper for LibArchive☆25Jul 22, 2015Updated 10 years ago
- Lecture notes from Cambridge maths☆73Feb 1, 2024Updated 2 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Feb 11, 2026Updated 3 weeks ago
- A modern object-oriented programming language implemented in Perl.☆121Feb 26, 2026Updated last week
- Repository for raising issues and requesting help on Ubermag☆11Nov 8, 2023Updated 2 years ago
- C++ wrapper for libgit2☆30Jun 9, 2024Updated last year
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31May 29, 2021Updated 4 years ago