Alternatives and similar repositories for elliptic-curves-rationals

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

• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆36Updated last week
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• kushti / flp
  Formalization of FLP Impossibility Theorem
  ☆18Updated 10 years ago
• otherlab / fractal
  Various fractal scripts
  ☆35Updated 10 years ago
• mjdominus / cf
  Continued fraction library
  ☆32Updated 5 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• ef-gy / topologic
  Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces
  ☆43Updated 8 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• j2kun / elliptic-curves-finite-fields
  The combined Python code for the post "Elliptic Curves over Finite Fields"
  ☆16Updated 5 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 2 months ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• kjson / pyfactor
  General number field sieve for python
  ☆18Updated 10 years ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 9 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 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
• rpmcruz / price-theory
  Economics games, inspired by David D. Friedman's
  ☆12Updated 8 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆88Updated 3 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆33Updated 7 years ago
• bcrypto / bee2
  ☆14Updated 8 years ago