bn.js188.9mMIT5.2.2Big number implementation in pure javascript
indutny4 months atrásModulo, BN, BigNum, Big number z3-solver18.1kMIT4.15.3This project provides high-level and low-level TypeScript bindings for the Z3 theorem prover. It is available on npm as z3-solver.
Z3Prover13 days atrássatisfiability modulo theories, Z3, theorem, prover address-parser16kApache-2.00.2.2modulo per il parsing degli indirizzi di addressbook
freitanoabout 3 years atrás iso-706412.3kMIT1.1.0Implementation of ISO 7064 used in validation of format like IBAN, LEI, ...
EDumdumabout 3 years atrásModulo 97, ISO 7064, Validation, Check digit