Rigorous computation of the endomorphism ring of a Jacobian
☆12Sep 28, 2026Updated last month
Alternatives and similar repositories for endomorphisms
Users that are interested in endomorphisms are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Jun 18, 2026Updated 4 months ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 5 years ago
- The SQALE of CSIDH: Square-root velu Quantum-resistant isogeny Action with Low Exponents☆12Jul 1, 2021Updated 5 years ago
- A new signing tool using provenance based identity.☆12Jan 30, 2026Updated 9 months ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆32Updated this week
- 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.
- Stronger and Faster Side-Channel Protections for CSIDH☆21Dec 20, 2020Updated 5 years ago
- Data curation scripts of a comprehensive clinical, MRI, and MEG collection characterizing healthy research volunteers collected at the Na…☆11Dec 16, 2024Updated last year
- A Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs.☆29Updated this week
- Metadata and per-statute PDFs for the U.S. Statutes at Large through volume 64 (1789-1951).☆17Apr 24, 2020Updated 6 years ago
- [ARCHIVE - very out of date] Intro textbook for web development with Sinatra and ActiveRecord☆13Dec 31, 2015Updated 10 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Source for the community blog☆11Updated this week
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- ☆13Jun 25, 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.
- A BibTeX collection on Zero-Knowledge Proofs☆16Dec 4, 2018Updated 7 years ago
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆13Feb 20, 2024Updated 2 years ago
- GitHub Issues Front-end☆15Aug 13, 2011Updated 15 years ago
- market for storage and retrieval☆23Oct 10, 2026Updated 2 weeks ago
- ☆51Feb 28, 2023Updated 3 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆31Oct 13, 2023Updated 3 years ago
- ☆42May 29, 2024Updated 2 years ago
- Patches for Foundry VTT that allow logging in based on headers from an authentication proxy such as OAuth2 Proxy.☆16Jul 15, 2026Updated 3 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 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.
- Reimplementation of `Improving language models by retrieving from trillions of tokens`☆19Nov 16, 2022Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆30Oct 18, 2026Updated last week
- 🏗️ Infra for the w3up UCAN protocol implementation☆24May 15, 2026Updated 5 months ago
- Program to make working on leetcode problems locally more convenient☆11Sep 26, 2026Updated last month
- ☆15Updated this week
- Run a command or a script as cron would☆11Aug 23, 2022Updated 4 years ago
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆52Aug 5, 2022Updated 4 years ago
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 2023Updated 3 years ago
- Embedded algebraic number fields☆15Aug 17, 2026Updated 2 months 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.
- ☆11Dec 7, 2020Updated 5 years ago
- A trusted AI Model Context Protocol (MCP) runtime for secure, decentralized AI tools and services.☆25Jul 16, 2026Updated 3 months ago
- A Python wrapper for Matrix Synapse admin API☆13Jun 3, 2025Updated last year
- ☆10Jul 19, 2019Updated 7 years ago
- 100% FOSS keyboard, based on AOSP☆12Jan 9, 2023Updated 3 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…☆35Oct 22, 2026Updated last week
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated 2 years ago