j2kun / elliptic-curves-rationals
Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.
☆20Updated 4 years ago
Alternatives and similar repositories for elliptic-curves-rationals:
Users that are interested in elliptic-curves-rationals are comparing it to the libraries listed below
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Economics games, inspired by David D. Friedman's☆12Updated 7 years ago
- An authenticated data structure based on a red-black tree.☆54Updated 9 years ago
- authenticated data structures, generically☆50Updated 8 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Formalization of FLP Impossibility Theorem☆18Updated 9 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- Get a Brain☆24Updated 5 years ago
- An introduction to the basic ideas of commutative algebra☆16Updated 4 years ago
- A Formal Library as a Bitcoin Spin-Off☆17Updated 7 years ago
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- An example piece of code to publish to the 21 marketplace. Allows users to pay you bitcoin to run a traceroute.☆16Updated 8 years ago
- A topology textbook with a hubristic title☆29Updated 9 years ago
- [DEPRECATED] You should use web3.py instead.☆11Updated 8 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated 4 months ago
- A Haskell HTTP server☆23Updated 7 years ago
- A system for computational category theory and applications☆37Updated 8 years ago
- a C++ template library for zero knowledge proofs☆49Updated 9 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- A simple APL neural network.☆12Updated 8 years ago
- knot theory and computational algebra software☆36Updated 10 years ago
- Naive Bayesian Classifier written in APL☆22Updated 6 years ago
- An Operating Function☆329Updated 10 years ago
- ☆59Updated 2 years ago
- Python code and tests for the post 'Programming with Finite Fields'☆48Updated 4 years ago
- A Shadow plug-in that runs the Bitcoin Satoshi reference software☆25Updated 4 years ago