Akshit Sivaraman

Vinglish: A statically-typed programming language compiling to C. It features a custom Lexer, recursive-descent parser, MIR lowering, and SSA optimization passes (DCE, constant folding, GVN). Includes a tree-walk interpreter, LSP server, and an experimental LLVM backend.

VinglishZero: A deterministic, language-agnostic analysis tool. It turns code from multiple languages (Python, Java, C) into a shared IR to query code intent via rules rather than machine learning inference (Works on a similar principal as akinator).

Source: Vinglish Source: VinglishZero

A bare-metal i686 operating system built from scratch, replacing traditional Round-Robin scheduling with a Neuromorphic Lottery Scheduler. CPU time is probabilistically allocated by a kernel-level Liquid State Machine (LSM) simulating spiking neurons with STDP. The system also implements a custom SHA-256 cryptographic login and a RAM-based VFS with strict file isolation.

Source Repository

A mathematics-secured blockchain replacing traditional hash-mining with Proof of Useful Work (PoUW). It incentivizes the verification of the Riemann Hypothesis using an Interpolated Discrete Descent (IDD) algorithm. It includes a C++/FLINT mining engine for high-order derivative root finding, a Python-based P2P node, and an ERC-20 smart contract for managing ZETA block rewards. Solve math to get crypto essentially.

Source Repository

A massively parallel engine utilizing the Riemann-Siegel formula for pointwise evaluation of the Riemann zeta function at extreme altitudes (T > 10³⁰). Employs OpenMP for lock-free parallel summation and GNU MPFR/GMP for 500-bit mathematical precision, achieving O(log T) memory complexity.

Source Repository

Computer-assisted proof written for a research paper on the failure of the Law of Large Numbers in Heavy-Tailed Sums (specifically the Cauchy α=1 divergence). Utilizes Arb interval (ball) arithmetic to rigorously bound logarithmic moments, avoiding traditional floating-point approximation errors.

Source Repository

A procedural math art generator that translates pixel data into continuous mathematical formulas without the use of AI. It employs a Polynomial Method to calculate a 40th-degree 3D landscape and a Box-Splitting QuadTree method to handle high-detail regions.

Source Repository