Rigorous computation of the endomorphism ring of a Jacobian
☆11May 14, 2026Updated last week
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
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆32May 1, 2026Updated 3 weeks 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.
- 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☆30Dec 31, 2025Updated 4 months ago
- A trusted AI Model Context Protocol (MCP) runtime for secure, decentralized AI tools and services.☆22May 13, 2026Updated last 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☆24May 15, 2026Updated last week
- 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.
- 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…☆26Updated this week
- market for storage and retrieval☆23May 7, 2026Updated 2 weeks ago
- Embedded algebraic number fields☆13Updated this week
- 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 2 years ago
- ☆10Jul 19, 2019Updated 6 years ago
- A Python wrapper for Matrix Synapse admin API☆13Jun 3, 2025Updated 11 months ago
- 🌶️ Storacha Storage Node☆28Apr 21, 2026Updated last month
- 100% FOSS keyboard, based on AOSP☆12Jan 9, 2023Updated 3 years ago
- 🗒 Agendas, minutes and other meeting material☆31May 11, 2026Updated last week
- Continued fraction library☆32Jul 16, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 🏅 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.☆29Jul 15, 2024Updated last year
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆27Apr 27, 2026Updated 3 weeks ago