Alternatives and similar repositories for elliptic-curves-rationals

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

• ConsensusResearch / articles-papers
  Articles and Papers from Consensus Research
  ☆30Updated 9 years ago
• crocs-muni / eacirc
  Automatic problem solver based on circuit-like representation and genetic programming
  ☆14Updated 7 years ago
• damianavila / vIPer
  vIPer: a new tool for IPython notebooks.
  ☆60Updated 10 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 2 months ago
• shadow / shadow-plugin-bitcoin
  A Shadow plug-in that runs the Bitcoin Satoshi reference software
  ☆25Updated 5 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 9 years ago
• vladzamfir / PoC
  Basic proof-of-custody library
  ☆7Updated 10 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 9 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• mwiebe / numpy_half
  Half-precision floating point for NumPy
  ☆13Updated 14 years ago
• the-laughing-monkey / learning-ai-if-you-suck-at-math
  ☆31Updated 8 years ago
• arvoelke / delay2017
  Improving spiking dynamical networks: Accurate delays, higher-order synapses, and time cells
  ☆7Updated 7 years ago
• colah / Motivated-Topology
  A topology textbook with a hubristic title
  ☆30Updated 9 years ago
• j2kun / finite-fields
  Python code and tests for the post 'Programming with Finite Fields'
  ☆48Updated 5 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• gstew5 / snarkl
  ☆59Updated 3 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 6 years ago
• apayne / pylinda
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆12Updated 3 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
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• jostmey / RestrictedBoltzmannMachine
  Neural network trained as a generative model on the MNIST dataset using Persistent Contrastive Divergence.
  ☆41Updated 4 years ago