Rigorous computation of the endomorphism ring of a Jacobian
☆11Jul 31, 2025Updated 7 months ago
Alternatives and similar repositories for endomorphisms
Users that are interested in endomorphisms are comparing it to the libraries listed below
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/☆31Mar 15, 2026Updated last week
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- 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 5 years ago
- Formalizing results about the Mandelbrot set in Lean☆29Dec 31, 2025Updated 2 months ago
- A trusted AI Model Context Protocol (MCP) runtime for secure, decentralized AI tools and services.☆22Mar 7, 2026Updated 2 weeks ago
- 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☆22Updated this week
- 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
- ☆14Updated this week
- Polynomial Matrix Library. Additions to NTL and FLINT libraries, with a focus on univariate polynomial matrices, structured matrices, and…☆22Jan 22, 2026Updated 2 months ago
- market for storage and retrieval☆23Updated this week
- Embedded algebraic number fields☆14Dec 1, 2025Updated 3 months ago
- Reimplementation of `Improving language models by retrieving from trillions of tokens`☆19Nov 16, 2022Updated 3 years ago
- ☆42Jun 27, 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
- 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 9 months ago
- 🌶️ Storacha Storage Node☆28Updated this week
- 100% FOSS keyboard, based on AOSP☆12Jan 9, 2023Updated 3 years ago
- 🗒 Agendas, minutes and other meeting material☆30Updated this week
- Continued fraction library☆32Jul 16, 2020Updated 5 years ago
- 🏅 Technical specifications for the w3up protocol stack☆34Jan 26, 2026Updated last month
- ☆25Apr 21, 2021Updated 4 years ago
- 🪣 DAG based key value store.☆48Feb 23, 2026Updated 3 weeks ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆138Apr 17, 2023Updated 2 years ago
- CryptoBib Main Repository for Developers☆22Aug 21, 2024Updated last year
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year