Rigorous computation of the endomorphism ring of a Jacobian
☆11Jul 31, 2025Updated 9 months ago
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:
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- The SQALE of CSIDH: Square-root velu Quantum-resistant isogeny Action with Low Exponents☆12Jul 1, 2021Updated 4 years ago
- [ARCHIVE - very out of date] Intro textbook for web development with Sinatra and ActiveRecord☆13Dec 31, 2015Updated 10 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆31Apr 6, 2026Updated 3 weeks ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- 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.
- Stronger and Faster Side-Channel Protections for CSIDH☆21Dec 20, 2020Updated 5 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Metadata and per-statute PDFs for the U.S. Statutes at Large through volume 64 (1789-1951).☆17Apr 24, 2020Updated 6 years ago
- Formalizing results about the Mandelbrot set in Lean☆29Dec 31, 2025Updated 4 months ago
- A trusted AI Model Context Protocol (MCP) runtime for secure, decentralized AI tools and services.☆22Updated this week
- 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☆12Feb 20, 2024Updated 2 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- 🏗️ Infra for the w3up UCAN protocol implementation☆24Apr 16, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆31Oct 13, 2023Updated 2 years ago
- ☆15Apr 1, 2026Updated last month
- Polynomial Matrix Library. Additions to NTL and FLINT libraries, with a focus on univariate polynomial matrices, structured matrices, and…☆25Apr 16, 2026Updated 2 weeks ago
- market for storage and retrieval☆23Apr 24, 2026Updated last week
- Embedded algebraic number fields☆13Dec 1, 2025Updated 5 months ago
- Reimplementation of `Improving language models by retrieving from trillions of tokens`☆19Nov 16, 2022Updated 3 years ago
- ☆42May 29, 2024Updated last year
- A bibtex plugin for Jekyll (based on bibtex2html)☆38Oct 4, 2024Updated last year
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 2023Updated 3 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.
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆52Aug 5, 2022Updated 3 years ago
- Run a command or a script as cron would☆11Aug 23, 2022Updated 3 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- ☆10Jul 19, 2019Updated 6 years ago
- A Python wrapper for Matrix Synapse admin API☆13Jun 3, 2025Updated 10 months ago
- 🌶️ Storacha Storage Node☆28Apr 21, 2026Updated last week
- 100% FOSS keyboard, based on AOSP☆12Jan 9, 2023Updated 3 years ago
- 🗒 Agendas, minutes and other meeting material☆31Apr 17, 2026Updated 2 weeks ago
- Continued fraction library☆32Jul 16, 2020Updated 5 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.
- 🏅 Technical specifications for the w3up protocol stack☆34Jan 26, 2026Updated 3 months ago
- ☆25Apr 21, 2021Updated 5 years ago
- 🪣 DAG based key value store.☆48Feb 23, 2026Updated 2 months ago
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- CryptoBib Main Repository for Developers☆22Aug 21, 2024Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆28Jul 15, 2024Updated last year
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆27Updated this week