Alternatives and similar repositories for elliptic-curves-rationals

Users that are interested in elliptic-curves-rationals are comparing it to the libraries listed below

• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• kushti / flp
  Formalization of FLP Impossibility Theorem
  ☆18Updated 10 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated last week
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 4 months ago
• rpmcruz / price-theory
  Economics games, inspired by David D. Friedman's
  ☆12Updated 8 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago
• mjdominus / cf
  Continued fraction library
  ☆32Updated 5 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆37Updated 3 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• j2kun / finite-fields
  Python code and tests for the post 'Programming with Finite Fields'
  ☆48Updated 5 years ago
• bcrypto / bee2
  ☆14Updated 8 years ago
• apayne / pylinda
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆12Updated 3 years ago
• thearn / math-genealogy
  A python script to collect data from the mathematics genealogy project and generate genealogy graphs, combine graphs, etc.
  ☆34Updated last year
• clsn / ries
  Robert Munafo's reverse equation solver
  ☆17Updated 2 years ago
• jmoy / norvig-spell
  Different Implementations of Norvig's spellchecker
  ☆38Updated 10 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• aatishb / entropy
  An explainer on entropy
  ☆68Updated last year
• grocid / libPQP
  👥 A Python post-quantum cryptography library
  ☆65Updated 9 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆113Updated 2 years ago
• fangpenlin / elliptic-curve-explained
  Jupyter notebook for explaining elliptic curve encryption
  ☆88Updated 4 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• tylerneylon / math
  A collection of open source math notes.
  ☆31Updated last year
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆62Updated 3 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 5 months ago
• j2kun / elliptic-curves-finite-fields
  The combined Python code for the post "Elliptic Curves over Finite Fields"
  ☆17Updated 5 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago