Skip to content
View Raj123-0's full-sized avatar
💭
Existing as a bundle of atoms
💭
Existing as a bundle of atoms

Achievements

Achievement: Pull SharkAchievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull SharkAchievement: QuickdrawAchievement: YOLO

Highlights

Block or report Raj123-0

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Raj123-0/README.md

Rajveer Pardeshi

Numerical rigor · Scientific simulation · Applied security

I build software where correctness matters — formal safety layers, high-precision numerics, physics engines, and cryptography. Mostly Python, with Rust and TypeScript where they earn their place.

🔬 What I work on

Formal & safety-critical

Reachability analysis, interval arithmetic, exact rational arithmetic, verified safety layers for control systems.

Scientific computing

Navier–Stokes solvers, N-body plasma simulation, terrain erosion, high-precision constant computation with proven error bounds.

Applied security & data

Cryptographic tooling, steganography, verifiable credentials, lossless compression for sensor streams, statistically honest missing-data handling.

🚀 Featured Projects

certified-dose

Formal reachability-analysis safety layer for process-control chemical dosing. Interval arithmetic and control theory applied to water treatment.

tether-codec

Low-memory, high-speed lossless compression for streaming numeric and sensor data. Written in Rust.

Tokamak-Py

N-body computational physics engine for electrostatic plasma confinement — built for mathematical rigor and real-time visualization, not brute-force O(n²).

umbra

Diagnose and honestly handle not-missing-at-random (MNAR) data. Scikit-learn compatible API.

More projects worth a look
Project Stack What it does
eulerian-fluid-solver Python Real-time 2D incompressible Navier–Stokes on a grid, via Jos Stam's Stable Fluids
fransen-robinson-record Python Verified computation of OEIS A058655 to 1,500 significant digits
ellipse-perimeter-research Python Adaptive AGM approximations for the ellipse perimeter, with error bounds
docutrust JavaScript Verifiable digital credentials with cryptographic ledger anchoring
AegisCrypt Python Keeps secrets out of source code using modern cryptographic primitives
StegoCrypt-Desktop Python AES-128 (Fernet) combined with LSB image steganography
RationalLLL Python Lattice basis reduction in exact rational arithmetic
avalanche-graph-dynamics Python Non-Abelian state changes and history-dependent propagation in dynamic graphs
havn Python Local-first, privacy-preserving personal data platform for cross-service correlations
terrain-erosion-engine TypeScript Procedural terrain generation via hydraulic erosion

📐 Mathematical Constants Collection

A long-running body of work computing mathematical constants to high precision, each with derivation and verification.

Classical & algebraic Golden-Ratio · Silver-Ratio · Plastic-Ratio · Supergolden-Ratio · Tribonacci-Constant · Theodorus-Constant · Lemniscate-Constant

Number theory Artin-s-Constant · Brun-s-Constant · Meissel-Mertens-Constant · Erdos-Borwein-Constant · Khinchin-s-Constant · Golomb-Dickman-Constant

Analysis & special functions Euler-Mascheroni-Constant · Glaisher-Kinkelin-Constant · Laplace-Limit · Gauss-Constant · Lieb-Square-Ice-Constant · Gompertz-Constant

Transcendental & dynamical Feigenbaum-Constant · Gelfond-Constant · Gelfond-Schneider-Constant · Cahen-s-Constant · Dottie-Number · Omega-Constant · Chudnovsky-Pi-Engine

🛠️ Tools & Languages

🐍 Contribution Activity

Contribution snake

📫 Get in touch

Open to collaboration on numerical computing, formal verification, and scientific tooling.

Pinned Loading

  1. docutrust docutrust Public

    The Open-Source Sovereign Trust Stack for Verifiable Digital Credentials & Cryptographic Ledger Anchoring

    JavaScript 1

  2. certified-dose certified-dose Public

    Formal reachability-analysis safety layer for process-control chemical dosing

    Python 2

  3. early-warning-complex-systems early-warning-complex-systems Public

    Python 1

  4. ellipse-perimeter-research ellipse-perimeter-research Public

    Accelerated Adaptive AGM and Boundary-Conditioned Approximations for the Ellipse Perimeter: Theory, Error Bounds, and Comparative Analysis

    Python 1

  5. tether-codec tether-codec Public

    Low-memory, high-speed lossless compression for streaming numeric/sensor data

    Rust 1

  6. umbra umbra Public

    Diagnose and honestly handle not-missing-at-random (MNAR) data — scikit-learn compatible

    Python 1