A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

A python library for fractional fixed-point (base 2) arithmetic and binary manipulation with Numpy compatibility.

Modern Fixed Point Systems using Pytorch

Package for performing fixed-point, arbitrary-precision arithmetic in Python.

Fixed point package for Python.

Portable machine intelligence in BASIC: a QEMU-verified DOS/486 transformer and assistant runtime with fixed-point inference, hot-swappable local model packs, sharded recall indexes, and release bundles for legacy and constrained systems.

Python and C implementations of an ellipse fitting algorithm in double and fixed point precision.

Flexible function solvers

a subclass of numpy.ndarray that does fixed-point arithmetic

A repository containing python codes for the numerical methods I studied in Numerical Analysis course during Spring 2022 semester

Myhdl fork that includes support for multiple entities (MEP110) and fixed point functionality (MEP 111) on VHDL. See myhdl/numeric dir under the numeric branch, and the Cordic example (example/cordic/Cordic.ipynb).

Computational Faraday Tensor — discover E×H electromagnetic coupling via topology-fixed-point projection.

Numerical analysis algorithms

Bit-exact, cross-hardware deterministic matrix multiplication using Q16.16 fixed-point arithmetic and SHA-256 verification. Provides identical AI inference results across NVIDIA GPUs, CPUs, and OSs. Essential for ZK-ML, Fintech, and AI Safety. Includes a PyTorch drop-in replacement, API and GPT-2 demo.

apply different root finding algorithms, compare and analyse their behaviour using plots and tables

Detailed paper describing python program to calculate fixed points of various functions and calculate the order of the orbits for a given seed.

Simple implementation of mu-calculus model checking

Published at TMLR in 2026. Focusing on the general stochastic approximation framework, it proposes a federated algorithm that finds the optimum of an average of contractive operators.