16 projects
bpred
Pure-Python simulator of classical CPU branch predictors: bimodal, gshare, tournament, perceptron, local-history, and TAGE
lawcheck
Property-based algebraic law testing for Python: Hypothesis-driven law suites for semigroups, monoids, functors, applicatives, monads, equivalence relations, and total orders, with a pluggable equality oracle.
pyproject-doctor
Offline deep validator for pyproject.toml: file existence, URL and email format, PEP 440 version and PEP 508 specifier validity, version-constraint satisfiability, and entry-point format.
daycounts
Financial day-count conventions in pure Python with zero dependencies: Actual/360, Actual/365F, Actual/Actual ISDA, 30/360 US Bond Basis, 30E/360 Eurobond, year fraction, and accrued interest.
balanced-ternary
Balanced ternary number type for Python: T-notation, conversions, and full digit-level arithmetic (digits -1, 0, 1).
winding-number
Winding number and point-in-polygon for arbitrary (non-convex, self-intersecting) polygons, pure Python with zero dependencies.
figurate-numbers
Figurate and polygonal numbers in pure Python: generation, membership testing, and inverse lookup for the full k-gonal family.
lyndon-words
Lyndon words, Duval factorization, necklace and bracelet enumeration, and De Bruijn sequences in pure Python.
spikedist
Spike-train distance and similarity metrics (Victor-Purpura, van Rossum, multi-unit van Rossum, Schreiber, Hunter-Milton, ISI-distance, SPIKE-distance, SPIKE-synchronization) in pure Python with zero dependencies.
scoreboarding
Pure-Python cycle-exact simulator of Thornton's Scoreboarding (CDC 6600) in-order dynamic scheduling, with structural, WAR, and WAW hazard detection and per-instruction traces for computer architecture education.
spikestats
Spike-train statistics (firing rate, CV, CV2, Fano factor, local variation Lv and LvR, PSTH, time-resolved rate and Fano, spike-time tiling coefficient, cross- and autocorrelogram) in pure Python with zero dependencies.
pinlint
Static linter that checks a requirements file is fully version-pinned and hash-pinned, for CI and pre-commit.
spikegen
Generate spike trains (Poisson, gamma, inverse-Gaussian and lognormal renewal, regular, Bernoulli, inhomogeneous) in pure Python with zero dependencies.
lrsched
Framework-agnostic learning-rate schedules as pure functions, in Python with zero dependencies.
euclidean-rhythm
Euclidean rhythms (Bjorklund) with Toussaint evenness, Keith syncopation, and Pressing rhythmic oddity, in pure Python.
tomasulo
Pure-Python simulator of Tomasulo's out-of-order instruction scheduling: reservation stations, common data bus, and register renaming, with cycle-by-cycle traces for computer architecture education.
