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
Related projects ⓘ
Alternatives and complementary repositories for elliptic-curves-rationals
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆11Updated 2 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- A MiniKanren in Python☆36Updated 8 years ago
- stream processing library for formal power series and generating functions☆9Updated 4 years ago
- Economics games, inspired by David D. Friedman's☆12Updated 7 years ago
- authenticated data structures, generically☆50Updated 8 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- ☆14Updated 7 years ago
- General number field sieve for python☆18Updated 9 years ago
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- A lambda calculus for quantum computation☆12Updated 6 years ago
- An absurdly tiny Lisp interpreter in OCaml☆30Updated 12 years ago
- A simple implementation of the Quadratic Sieve for integer factoring in C☆11Updated 12 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- An introduction to the basic ideas of commutative algebra☆16Updated 4 years ago
- PL Reading Group Website☆14Updated this week
- Vectorized xorshift and xoroshiro uniform/binomial RNGs☆9Updated 8 years ago
- Superposition prover☆16Updated last year
- ☆29Updated last year
- Naive Bayesian Classifier written in APL☆22Updated 6 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 6 years ago
- Half-precision floating point for NumPy☆12Updated 14 years ago
- ☆59Updated 2 years ago
- An interpreter for the Mistral language.☆19Updated 7 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year