JavaScript library for mathematical computations.
mathlib in scope
a math library for node.js
Simple addition multiplication substraction division repository
Mathematical sequence generator
MathLib is a simple Python library for basic mathematical operations, including arithmetic and algebraic functions. It's designed to be easy to use and extendable for more advanced mathematical operations.
A vector and matrix library
Pi package for AutoContext-assisted Erdős-style formal math problem loops with Lean verification.
A module with math functions
Mathematical functions
Delightul methods for processing numbers
A demo of created lodash type utility library using TypeScript
This algorithm implements the original universal random number generator as proposed by Marsaglia & Zaman in report FSU-SCRI-87-50 and coded in FORTRAN77 by Fred James as the RANMAR generator, part of the MATHLIB HEP library.
Common math functions
Basic Mathmatics
No description provided.
math library
No description provided.
No description provided.
Simple math expression solver library in JavaScript
This is the calculation library of EZSWAP
This is Mathematics Library have multiple fuctios
simple math functions I feel like I write every project
A simple library for performing basic math operations
A math library for Rust
Math library for mlua — RNG, distributions, hypothesis testing, ranking, information theory, and statistics
A port of R's `nmath` stats module to Rust.
A modern Pascal compiler with build/intepreter/package manager built with Rust
Worker-process boundary for lean-rs host workloads.
External prover bridge and trust model for the Industrial Algebra ecosystem
(WIP) Portable and modular scripting language for all
Pure Rust post-quantum TLS — zero C code. ML-KEM, ML-DSA, SLH-DSA, Falcon. FIPS 203/204/205/206 compliant. 100 Lean 4 theorems.
Formally verified Pure Rust implementation of the SHA-2 hash function family (SHA-224, SHA-256, SHA-384, SHA-512, SHA-512/224, SHA-512/256), with Lean 4 proofs of correctness against FIPS 180-4.
Lean-backed fixed-dimension streaming covariance and Ledoit-Wolf shrinkage
Golden DKG + threshold BLS signatures + vetKeys IBE + Simplex BFT consensus
Paraxiom post-quantum cryptography — pure Rust, zero C. Unified API for ML-KEM, ML-DSA, SLH-DSA, and Falcon.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.