Alternatives and similar repositories for elliptic-curves-rationals

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

• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 5 months ago
• sagemath / sagelib
  Git mirror of http://hg.sagemath.org/sage-main/
  ☆38Updated 13 years ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆89Updated 3 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated last week
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆24Updated 7 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 9 years ago
• apayne / pylinda
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆12Updated 3 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• tylerneylon / math
  A collection of open source math notes.
  ☆31Updated last year
• input-output-hk / qeditas
  A Formal Library as a Bitcoin Spin-Off
  ☆17Updated 8 years ago
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 7 years ago
• rpmcruz / price-theory
  Economics games, inspired by David D. Friedman's
  ☆12Updated 8 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• aatishb / entropy
  An explainer on entropy
  ☆68Updated last year
• mjdominus / cf
  Continued fraction library
  ☆32Updated 5 years ago
• amiller / redblackmerkle
  An authenticated data structure based on a red-black tree.
  ☆54Updated 10 years ago
• ConsensusResearch / articles-papers
  Articles and Papers from Consensus Research
  ☆30Updated 10 years ago
• kjson / pyfactor
  General number field sieve for python
  ☆18Updated 10 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• kushti / flp
  Formalization of FLP Impossibility Theorem
  ☆18Updated 10 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆25Updated 5 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• bornreddy / FFT
  FFT Explorations (basic implementation)
  ☆10Updated 11 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆53Updated 4 months ago