Alternatives and similar repositories for elliptic-curves-rationals

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

• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• apayne / pylinda
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆12Updated 3 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 9 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• j2kun / elliptic-curves-finite-fields
  The combined Python code for the post "Elliptic Curves over Finite Fields"
  ☆16Updated 5 years ago
• sagemath / sagelib
  Git mirror of http://hg.sagemath.org/sage-main/
  ☆38Updated 13 years ago
• amiller / lambda-auth
  authenticated data structures, generically
  ☆54Updated 8 years ago
• bcrypto / bee2
  ☆14Updated 8 years ago
• defeo / ffisom
  A research project on isomorphisms of finite fields
  ☆16Updated 7 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• colah / Motivated-Topology
  A topology textbook with a hubristic title
  ☆31Updated 9 years ago
• j2kun / fft
  Python code and wav files for the post "The Fast Fourier Transform Algorithm, and Denoising a Sound Clip"
  ☆95Updated 5 years ago
• kushti / flp
  Formalization of FLP Impossibility Theorem
  ☆18Updated 10 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆27Updated last week
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 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
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 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
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated last month
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 9 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• runtimeverification / python-semantics
  The semantics of Python in K
  ☆20Updated 12 years ago
• j2kun / elliptic-curve-diffie-hellman
  Python code for the post "Elliptic Curve Diffie-Hellman"
  ☆15Updated 5 years ago