Inventory
Everything in the repository
2799 assets: the pages of this site, the programs, the claims, the vipyr functions and
distributions, the ports, the commands, the language features, the test suites and the gate's
checks. In a checkout, node tools/inventory.mjs ls prints the
same list from the files as they are.
Nothing matches.
dir 104
A directory of the repository.
-
LICENSES/The license texts REUSE.toml points to
-
bench/Timing programs for the Hartree-Fock integrals
-
bugs/The bug ledger (ledger.jsonl) and the test of each fixed bug
-
catalog/Per-entity features with state (sessions, velocity, delinquency), each a Viv function called on a DataFrame
-
channels/The syllabus of each posts channel, one Markdown file per channel
-
claims/Claims: a bounded statement, the program that checks it and its vipyr twin, by field
-
claude/The Claude Code plugin for vipyr (skill and hooks)
-
crates/Rust crates shared by the languages
-
dft/Plane-wave Kohn-Sham DFT in Viv, with its numpy reference and the published values
-
docs/The tutorial
-
engines/Engines: Viv programs with a declared interface that read input files (POSCAR, XYZ) and run as wasm
-
examples/Worked examples for Python users: data science, deploying scikit-learn, digits, options, CUDA
-
gallery/The vipyr gallery scripts, by topic
-
kernels/Kernel libraries exported for Python with a manifest (k1)
-
ladders/Ladder programs: one complete, tested program per step
-
lang/The languages built on knotkit
-
lang/oa/A small operator-algebra language, a second probe of the kit
-
lang/skein/Skein, a small teaching Scheme compiled to C through knotkit
-
lang/viv/The Viv compiler: lexer, parser, types, interpreter, C and wasm backends, the viv command
-
lang/weft/Weft, a weak-form language that compiles to Viv
-
lib/Viv's library: the modules programs import
-
lib/algo/Algorithms with a spec of what each promises (algo.spec)
-
lib/basis/Gaussian basis sets as data
-
lib/cas/A computer algebra system, and Viv code generated from its expressions
-
lib/cc/A C compiler written in Viv, to RV32IM assembly
-
lib/eigen/Eigensolvers
-
lib/gguf/A reader for GGUF model files and their quantized tensors
-
lib/gpt/A small GPT: the forward pass, the gradient and training
-
lib/hf/Hartree-Fock: integrals, SCF, RHF, UHF and ROHF, checked against PySCF
-
lib/hfref/Reference tables for lib/hf (Boys function, Cartesian to spherical)
-
lib/minpack/A port of MINPACK's lmder (Levenberg-Marquardt) and its helpers
-
lib/nprandom/NumPy 1.24.4's random generators, draw for draw
-
lib/nuclear/Nuclear structure: the shell model and its interactions
-
lib/ode/ODE integrators, stiff (BDF) and non-stiff
-
lib/power/Power-system studies: load flow, distribution factors, transfer limits
-
lib/randla/Randomized linear algebra: sketches, range finders, trace estimates
-
lib/rv32/An RV32IM assembler and simulator
-
lib/scf/The SCF loop shared by the mean-field codes
-
lib/skyrme/Skyrme Hartree-Fock of closed-shell nuclei
-
lib/stats/Statistics: descriptive, distributions, GLMs, special functions
-
packages/The vipyr extras as Python distributions (chem, hardware, nuclear, plasma, symreg, xc)
-
pde/One program per partial differential equation, each with its exact checks
-
plasma/Kinetic plasma programs: Vlasov-Poisson and Landau damping
-
ports/Ports of published codes with their upstream license and comparison (dftatom, liquids)
-
posts/The posts: each a .viv program with a header, published when its tests pass
-
python/vipyr, Viv as a Python package, and its tests
-
python/tests/vipyr's tests: what the package promises
-
python/vipyr/The vipyr package: loading .viv files, the import hook, frames, magics, translate, compile
-
scf/The programs that check lib/hf as a whole against PySCF
-
server/The MCP endpoint (server/mcp), served at /mcp by a Netlify Function
-
show/Programs behind the showcase pages
-
stat/Statistical-mechanics programs exported for Python (Ising)
-
study/Studies and measurements: comparisons with Python, port ledgers, memory checks
-
study/benchmarks/Viv versions of programs from published benchmark sets
-
study/compare/Python and Viv pairs that print the same output, by topic
-
study/dataframe/ -
study/idioms/Probes of how idiomatic Python maps to Viv
-
study/memcheck/Programs written to break the memory model
-
study/ports/Port ledgers: what each port needed that Viv lacked
-
study/program_search/ -
study/release/The release audit
-
study/vivkernels/Prototypes for the kernel export
-
tests/Test inputs outside the cargo crates (C programs for lib/cc)
-
third_party/Vendored third-party code (SQLite)
-
tools/Scripts: the gate, merge, checks, generators and harnesses
-
tools/algo/The lib/algo spec checker
-
tools/arrays/Array cases compared against NumPy
-
tools/bytes/Byte and float-format cases
-
tools/cas/Generators that use lib/cas
-
tools/cc/The C corpus check for lib/cc
-
tools/claims/The claims runner
-
tools/export/Checks of exported kernels
-
tools/float32/ -
tools/fuzz/vivsmith, the program fuzzer
-
tools/gate/The gate: every check a change must pass (gate.py), its cache and the site check
-
tools/gguf/lib/gguf against gguf-py
-
tools/graph/Graph drawing
-
tools/imports/The import resolver study
-
tools/ints/Integer cases compared against Python and NumPy
-
tools/jupyter/A Jupyter kernel for Viv and the notebook converter
-
tools/libm-sweep/Viv's libm against V8's Math and the C library
-
tools/licenses/License headers and the REUSE check
-
tools/llm-pack-trial/A trial of the prompt pack with a model
-
tools/maps/Timings of maps in every engine
-
tools/mathtext/Glyph metrics for math in figure labels
-
tools/memcheck/Sanitizer and leak runs of the C backend
-
tools/phrases/Cases for phrases
-
tools/print-fmt-sweep/Number formatting against Python
-
tools/py2viv/py2viv, the strict Python to Viv translator
-
tools/release/Release scripts
-
tools/rv32/riscv-tests for the RV32IM simulator
-
tools/steps/The rewrite into steps
-
tools/strings/String timings
-
tools/surface/Surface-syntax cases
-
tools/vivdb/vivdb, the program database
-
tools/vivxc/The exchange-correlation catalog
-
tools/vmath/Checks of the math functions at their worst cases
-
tools/wheels/Builds of the vipyr wheels
-
www/viv-lang.org, the site (Astro); the compiler runs in the browser as wasm
-
www/netlify/ -
www/public/Static files: the wasm compiler, workers, staged programs
-
www/scripts/Site build steps (stage) and checks (check)
-
www/src/Pages, components, layouts and the generated data the pages read
-
xc/Exchange-correlation functionals derived from Libxc 6.1.0
page 33
A page of the site with no data behind its route.
-
The Viv language and vipyr
-
Page not found · Viv
-
Use Viv with your agent · Viv
-
Atlas · Viv
-
Walk · Viv
-
Catalog · Viv
-
Fact checks · Viv posts
-
Terminal · Viv
-
Python and Viv, side by side · Viv
-
A band structure from plane-wave DFT · Viv
-
Docs by example · Viv
-
Embed Viv anywhere · Viv
-
Engines · Viv
-
Example programs · Viv
-
Explore a run · Viv
-
Gallery · Viv
-
Install · Viv
-
Compiler internals · Viv
-
Inventory · Viv
-
knotkit, the compiler kit under Viv
-
Ladders · Viv
-
Notebooks · Viv
-
PDE solvers · Viv
-
Posts · Viv
-
Reference · Viv
-
Language tour · Viv
-
vipyr user guide
-
API reference · vipyr
-
Gallery · vipyr
-
Getting started · vipyr
-
Install · vipyr
-
Ports · vipyr · Viv
-
Workbench · Viv
post 102
A post on /posts: a program whose tests passed when the site was built.
-
The tension in each of two ropes holding up a box
-
A random walk spreads as 2Dt and turns Gaussian
-
A swing-up policy trained offline
-
A transformer trained with Muon
-
Ripple-carry delay grows like n, carry-lookahead like log n
-
LDA atoms miss the virial theorem by under 5%
-
BFGS against gradient descent on the Rosenbrock valley
-
Black-Scholes by Monte Carlo, against the closed form
-
Building a four-bit adder out of NAND gates
-
Burgers' equation in nonconservative form puts the shock in the wrong place
-
A cart-pole, balanced by a PD controller
-
Excitation energies of water from the Casida equation, with and without de-excitations
-
Finite differences stay second order away from a jump
-
Conjugate gradients take √κ iterations
-
The double scroll of Chua's circuit
-
Compound interest
-
Crank-Nicolson is second order in time, backward Euler first
-
DC power flow gets worse as the grid loads up
-
Strong charges still screen at the Debye length
-
Doubling time
-
Doubling time breaks at tiny rates and at negative ones
-
Doubling time, fixed for tiny and negative rates
-
Forward Euler loses the planet
-
The Taylor series of eˣ fails at x = −20
-
The best forward-difference step is about 10⁻⁸
-
Finite differences and spectral methods
Check claims: spectral-derivative, central-difference-near-a-jump
-
Electron mobility fitted to NIST's certified digits
-
Forward and backward Euler on either side of h = 2/λ
-
Gauss-Legendre quadrature against tanh-sinh on a smooth and a singular integral
-
The Gibbs overshoot never shrinks
-
Givens QR of a Hessenberg matrix costs O(n²)
-
Grad-Shafranov by finite differences, against Solov'ev's closed form
-
Graphene's Dirac cones
-
RHF, UHF and full CI for H₂ in STO-3G along the bond
-
Hartree-Fock for water
-
The Hasegawa-Wakatani drift-wave model
-
Each factor of ten in the condition number costs a digit
-
Binder cumulants find the Ising critical point within 1%
-
Jacobi's eigenvalue method
-
Jacobi, SOR and conjugate gradients on the Poisson equation
-
Three floating-point failures in summation, cancellation and RANDU
-
Leapfrog holds a planet's energy for 100,000 orbits
-
Kinetic Monte Carlo against the master equation
-
Lanczos finds the largest eigenvalue three times
-
Landau damping from the root of the dispersion relation
-
LOBPCG finds the lowest states of a particle in a box
-
The logistic map at r = 4 has Lyapunov exponent ln 2
-
Logistic regression on separated data never converges
-
LQR computes the cart-pole's gains from the Riccati equation
-
LQR stabilizes the cart-pole at half the gain
-
QR keeps the digits the normal equations lose
-
Make Euler stable on a stiff equation
-
Make Gram-Schmidt orthogonal to rounding
-
Make Numerov find the decaying solution
-
Make power iteration converge on a tied pair
-
Make the heat-equation step stable past r = 1/2
-
Metropolis sampling finds Onsager's magnetization
-
A Lennard-Jones liquid by molecular dynamics in two dimensions
-
Each digit of Monte Carlo accuracy costs 100× the paths
-
Twenty tests on pure noise find something 64.7% of the time
-
Muon orthogonalizes the update
-
Which root does Newton's method find?
-
Newton's method doubles the correct digits
-
Newton's method doubles the correct digits each step
-
Nuclear level density, by counting the states
-
1 − cos x loses its digits as x shrinks
-
How far a finite-difference Hamiltonian's levels sit below n + 1/2
-
Neutron pairing in a neutron-star crust
-
Pi from escape counts at the cusp of the Mandelbrot set
-
Put-call parity holds to rounding error
-
Householder and Givens keep Q orthogonal at any condition number
-
The quadratic formula loses the small root
-
Chebyshev nodes tame Runge's function
-
The Runge phenomenon, where more points give a worse fit
-
Silicon's band structure, from the crystal up
-
Skyrme Hartree-Fock of oxygen-16
-
Solve the quadratic
-
Solving the Riccati equation without integrating it
-
Sparse Newton power flow time grows like to
-
Spectral derivatives beat every power of N
-
Spin-orbit coupling makes 28 a magic number
-
Nuclear spin-orbit splitting rivals the shell gap
-
On a stiff problem an explicit solver takes hundreds of times the steps
-
Pairwise summation keeps the rounding error of a sum small
-
A gyro-orbit and the E×B drift by the Boris push
-
Building the derivative from its definition
-
The error of a linear solve follows the condition number
-
A star of free neutrons can weigh at most 0.71 suns
-
The geometric series adds up
-
The two-pion loop function, built and differentiated by a small computer algebra system
-
The quadratic formula, applied
-
The quadratic formula, derived
-
The rule of 72 against the rule of 70
-
Tunneling through one and two barriers by transfer matrices
-
The trapezoid rule is spectrally accurate on periodic functions
-
The bounce period of an electron trapped in a plasma wave
-
Two methods compute water's 6-31G integrals
-
Two lines cross
-
The two-stream instability in a particle-in-cell code
-
Upwind advection smears the pulse by its modified equation
-
The one-pass variance comes out negative on four numbers
-
The eigenvalues of a random matrix fill Wigner's semicircle
claim 31
A claim: a bounded statement, the Viv program that checks it and its vipyr twin.
-
Ripple-carry delay grows like n, carry-lookahead like log n
Check Exhaustive and random checks against integer addition (exact in doubles to 48 bits; the two adders against each other at 64); the nine-NAND full adder of the four-bit adder gallery entry (gallery/hardware/adder.viv); Kogge and Stone, IEEE…
-
LDA atoms miss the virial theorem by under 5%
Check NIST Standard Reference Database 141 (Atomic Reference Data for Electronic Structure Calculations, LDA column, lib/nistref.viv) for the total energies; the virial theorem for Coulomb systems, which density-functional LDA satis…
-
Finite differences stay second order away from a jump
Check The exact derivative away from the jumps; Trefethen, Spectral Methods in MATLAB (2000), chapter 3 (the periodic spectral differentiation matrix has entries , which do not shrink…
-
Conjugate gradients take √κ iterations
Check The condition number from the Laplacian's exact eigenvalues ; the CG bound on the error in the energy norm (Saad, Iterati…
-
DC power flow gets worse as the grid loads up
Check The AC Newton solution of the same case (lib/power, equal to MATPOWER's and PYPOWER's to per unit, lib/power/COMPARISON.md) is the reference for the DC flows; the DC model's assumptions (, no resistance…
-
Strong charges still screen at the Debye length
Check Debye and Hückel's linearized theory: around a sphere of radius a and charge Q the potential is (Debye and Hückel, Phys. Z. 24, 185 (1923)); the nonlinear Poisson-Boltzmann equati…
-
The Taylor series of eˣ fails at x = −20
Check from the libm exp (correctly rounded to within an ulp); Forsythe, Malcolm and Moler, Computer Methods for Mathematical Computations (1977), section 1.3, the textbook example.
-
The best forward-difference step is about 10⁻⁸
Check The exact derivative ; the optimal steps and from balancing truncation against rounding (Nocedal and Wright, Numerical Optimization (2nd ed.), section 8.1).
-
Givens QR of a Hessenberg matrix costs O(n²)
Check Golub and Van Loan, Matrix Computations (4th ed., 2013), sections 5.1.9 and 5.2.5 ( flops for Hessenberg QR by Givens, for Householder QR of a square matrix), the step every QR-algorithm iteration on a Hessenberg m…
-
Each factor of ten in the condition number costs a digit
Check The exact inverse of the Hilbert matrix (integer entries, the closed form of Choi, "Tricks or treats with the Hilbert matrix", Amer. Math. Monthly 90 (1983) 301-312) for the condition number; the rule of thumb digits…
-
Binder cumulants find the Ising critical point within 1%
Check Onsager's critical temperature () and the exponent of the two-dimensional Ising model; Binder, Z. Phys. B 43, 119 (1981), for the crossing of the cumulants…
-
Leapfrog holds a planet's energy for 100,000 orbits
Check The exact energy -1/(2a) = -0.5 of the orbit (G M = 1, a = 1); Hairer, Lubich and Wanner, Geometric Numerical Integration (2nd ed., 2006), chapters I and IX: a symplectic method conserves a modified energy, so its energy error does not dri…
-
Logistic regression on separated data never converges
Check R 4.3.3's glm.fit, which lib/stats/glm follows step for step (agreement to on eight of R's datasets, lib/stats/glm_check.json, including a separated fit); Albert and Anderson, "On the existence of maximum likelihood estimates in…
-
LQR stabilizes the cart-pole at half the gain
Check The return-difference inequality of single-input LQR, which guarantees closed-loop stability for every gain scaling in (Kalman, "When is a linear control system optimal?", J. Basic Eng. 86 (1964) 51-60; Anderson an…
-
QR keeps the digits the normal equations lose
Check NIST Statistical Reference Datasets, linear least squares (lib/stats/data, https://www.itl.nist.gov/div898/strd/lls/lls.shtml), coefficients certified to 15 digits; Golub and Van Loan, Matrix Computations (4th ed.), section 5.3.8, for why…
-
Each digit of Monte Carlo accuracy costs 100× the paths
Check The Black-Scholes price 10.450583572185565 (closed form, the vipyr twin's vp.finance.bs_price); the central limit theorem's for the standard error of a sample mean (Glasserman, Monte Carlo Methods in Financial Engineering (2003)…
-
Twenty tests on pure noise find something 64.7% of the time
Check for independent tests at level ; the Bonferroni bound for the family-wise error (Dunn, "Multiple comparisons among means", JASA 56 (1961) 52-64). The p-values use the normal tail…
-
Newton's method doubles the correct digits each step
Check (correctly rounded); the error recurrence of Newton's method for .
-
1 − cos x loses its digits as x shrinks
Check The identity , evaluated with the series for the true value (its truncation error is below relative for ); Higham, Accuracy and Stabil…
-
Put-call parity holds to rounding error
Check Put-call parity , which holds for European options under any model without arbitrage (Stoll, "The relationship between put and call option prices", J. Finance 24 (1969) 801-824); Merton (1973) for why an Americ…
-
Householder and Givens keep Q orthogonal at any condition number
Check Golub and Van Loan, Matrix Computations (4th ed., 2013), sections 5.2.1, 5.2.8 and 5.2.9; Björck, Numerical Methods for Least Squares Problems (1996), section 2.4 (MGS, ); Giraud, Langou, Rozložník and van den Eshof, Numer. Math.…
-
The quadratic formula loses the small root
Check The roots' product is c = 1 and their sum 108, so the small root is to double precision; Press et al., Numerical Recipes (3rd ed.), section 5.6, for the stable formula.
-
Chebyshev nodes tame Runge's function
Check Trefethen, Approximation Theory and Approximation Practice (2013), chapters 11 and 13: equispaced interpolants of this function diverge, Chebyshev interpolants converge geometrically at the rate set by its poles at .
-
Sparse Newton power flow time grows like to
Check MATPOWER 7 case files (lib/power/cases); iteration counts equal those of PYPOWER 5.1.21's runpf and of the SciPy/SuperLU power flow in lib/power/oracle/pf_scipy.py (lib/power/COMPARISON.md).
-
Spectral derivatives beat every power of N
Check The exact derivative ; Trefethen, Spectral Methods in MATLAB (2000), chapters 3 and 4 (the spectral derivative of an analytic periodic function converges geometrically).
-
Spin-orbit coupling makes 28 a magic number
Check SLy5 (Chabanat et al., Nucl. Phys. A 635, 231 (1998)) in lib/skyrme/spherical, the solver checked against its NumPy twin and against skyrme_rpa (lib/skyrme/COMPARISON.md); Mayer and Jensen's explanation of the magic numbers 28, 50, 82, 126…
-
Nuclear spin-orbit splitting rivals the shell gap
Check SLy5 parameters of Chabanat et al., Nucl. Phys. A 643, 441 (1998), as skyrme_rpa (Colò et al., Comput. Phys. Commun. 184, 142 (2013)) lists them; lib/skyrme agrees with the post's NumPy twin to (tools/export/test_skyrmehf.py). Hy…
-
On a stiff problem an explicit solver takes hundreds of times the steps
Check Robertson's chemical kinetics problem with rate constants 0.04, and (Hairer and Wanner, Solving Ordinary Differential Equations II (2nd ed., 1996), section IV.1); its Jacobian's eigenvalues reach about …
-
Pairwise summation keeps the rounding error of a sum small
Check fsum (exactly rounded summation, the algorithm of Python's math.fsum) for the true sum; Higham, Accuracy and Stability of Numerical Algorithms (2nd ed., 2002), section 4.2, for the bounds and per unit of…
-
The trapezoid rule is spectrally accurate on periodic functions
Check The integral of over is with (Abramowitz and Stegun 9.8.1 tables); the integral of over is . Trefethen and Weideman, "The exponentially convergent…
-
The one-pass variance comes out negative on four numbers
Check The exact sample variance 30 (deviations from the mean ); Chan, Golub and LeVeque, "Algorithms for computing the sample variance", The American Statistician 37 (1983) 242-247, which uses this example.
channel 15
A channel: a syllabus of posts.
-
Algebra 2
-
Calculus
-
Claims
-
Digital logic
-
Dynamics and chaos
-
Finance
-
Machine learning
-
Nuclear physics
-
Numerics
-
Optimization
-
Physics
-
Plasma physics
-
Quantum chemistry
-
Robotics
-
Statistical mechanics
show 8
A showcase page: one program, its reference and its run.
-
A cart-pole held upright by LQR
Check SciPy's solve_continuous_are
-
Metropolis sampling finds Onsager's magnetization
Check Onsager and Yang's exact magnetization
-
Landau damping from the root of the dispersion relation
Check a 30-digit mpmath root
-
Skyrme Hartree-Fock of oxygen-16
Check skyrme_rpa, Colò et al. (2013)
-
Robertson's stiff kinetics over sixteen decades of time
Check the Bari IVP test set
-
The lowest states of neon-20 in the sd-shell model
Check BIGSTICK
-
Electron mobility fitted to NIST's certified digits
Check NIST's certified values
-
Hartree-Fock for water
Check PySCF 2.5.0
scene 11
A scene on the home page or the gallery.
-
A pole balanced on a moving cart
Check SciPy's solve_continuous_are
-
The Ising model at its critical temperature
Check Onsager and Yang's exact magnetization
-
Landau damping of a Langmuir wave
Check a 30-digit mpmath root
-
The densities of oxygen-16
Check a published Skyrme Hartree-Fock code
-
Two solitons pass through each other
Check Hirota's exact two-soliton solution
-
Robertson's stiff chemical kinetics
Check the Bari test set
-
The lowest states of neon-20
Check BIGSTICK
-
The band structure of silicon
Check a NumPy plane-wave code
-
Solving for the ground state of oxygen-16
Check a published Skyrme Hartree-Fock code
-
Electron mobility fitted to NIST data
Check NIST's certified values
-
Water's electron density settles
Check PySCF, to 10−9 hartree
gallery 73
An entry of the Viv gallery.
-
An American put by Crank-Nicolson
-
Options on a binomial tree
-
The Boys function
-
Balancing a cart-pole with LQR
-
Atoms from hydrogen to uranium
-
Which digits of a result are real
-
The exact derivative as a compiler transform
-
Forward-mode differentiation with dual numbers
-
Reverse-mode differentiation on a tape
-
Debye screening from the nonlinear Poisson-Boltzmann equation
-
The Poisson equation by finite elements
-
The same finite-element solver written with records
-
The Poisson equation solved spectrally
-
The bond length of H2 by geometry optimization
-
The geometry of water by optimization
-
A tokamak equilibrium from the Grad-Shafranov equation
-
Hartree-Fock for the hydrogen molecule
-
Drift-wave turbulence in the Hasegawa-Wakatani model
-
Hartree-Fock for a chain of hydrogen atoms
-
Nuclear level density by counting states
-
Molecular dynamics of a bead-spring polymer
-
Identifying a function through the Meijer G-function
-
A small computer-algebra system on flat arrays
-
Finding a symmetry with a neural network
-
Particle trapping after Landau damping
-
Hartree-Fock with a McMurchie-Davidson integral engine
-
Hartree-Fock and MP2 for small molecules in STO-3G
-
Hartree-Fock for water in STO-3G
-
Hartree-Fock for water in 6-31G*
-
The Spitzer-Härm conductivity of a plasma
-
Recovering a formula from data
-
The maximum mass of a free-neutron star
-
The two-stream instability in a particle-in-cell code
-
Landau damping in a Vlasov-Poisson solver
-
Sessions from a transaction log
-
A four-bit adder from NAND gates
-
Generalized linear models
-
The Heston model by Fourier cosine series
-
An interconnection study
-
The Ising model by Monte Carlo
-
Landau damping from the plasma dispersion function
-
Least squares that keeps its digits
-
A Lennard-Jones liquid at constant energy
-
A Lennard-Jones fluid at constant temperature
-
Stiff and nonstiff ODE solvers
-
Oxygen-16 from a Skyrme energy functional
-
The advection equation
-
The Black-Scholes equation
-
Burgers' equation with a shock and a rarefaction
-
Burgers' equation, viscous
-
The modes of a drum
-
The Euler equations of gas dynamics
-
The Fisher-KPP equation
-
The heat equation
-
The heat equation in two dimensions
-
The Korteweg-de Vries equation
-
Laplace's equation
-
The nonlinear Schrödinger equation
-
Poisson's equation
-
The time-dependent Schrödinger equation
-
The wave equation
-
AC power flow on MATPOWER cases
-
A PV curve by continuation power flow
-
Randomized trace estimation and low-rank approximation
-
Fibonacci on a RISC-V processor
-
Density mixers for a self-consistent field
-
The nuclear shell model in the sd shell
-
The band structure of silicon
-
The special functions under the distributions
-
Lyapunov equations for the cart-pole's feedback gains
-
Thurber's electron mobility fitted to NIST's certified values
-
A small GPT trained on one paragraph
-
Water by restricted Hartree-Fock, ported from PySCF
vipyr-gallery 37
A worked Python example in the vipyr gallery.
-
Early exercise of an American put, priced two ways
-
Atoms from hydrogen to uranium, against NIST
-
The Boys function, the integral behind Gaussian basis sets
-
Balancing a cart-pole with LQR
-
Voltage profile of the IEEE 118-bus system
-
The digits lens shows which digits are real
-
Customer features from a transaction log
-
A C compiler, an assembler and a RISC-V processor, all in Viv
-
A four-bit adder from NAND gates, simulated exhaustively
-
A quantized model file, read in Viv
-
A probit GLM, R's way
-
The Heston model's volatility smile
-
An interconnection study on the IEEE 118-bus system
-
The Ising model through its phase transition
-
Landau damping at four wavelengths
-
Energy conservation and diffusion in a Lennard-Jones liquid
-
The Lennard-Jones fluid against its equation of state
-
NIST's certified linear regressions, digit by digit
-
Thurber's electron mobility, a NIST certified fit
-
Robertson's stiff kinetics over sixteen decades
-
Ten thousand epidemics in one call
-
Implied volatility, binomial trees and Greeks of European options
-
Oxygen-16 from a Skyrme energy functional
-
Power flow convergence and timing from 9 to 9241 buses
-
The Faddeeva and plasma dispersion functions on the complex plane
-
The PV curve of a transfer into bus 38 of the IEEE 118-bus system
-
Randomized trace estimation and low-rank kernel approximation
-
Passes to self-consistency in calcium-40 by density mixer
-
Lanczos and dense diagonalization in the sd shell
-
Level schemes of neon-20 and magnesium-24 in the sd shell
-
The band structure of silicon
-
A scikit-learn pipeline as one C file
-
Special functions against mpmath, SciPy and R
-
A stability map for the cart-pole's feedback gains
-
A small GPT trained on one paragraph
-
Water Hartree-Fock energies compared with PySCF
-
Orbital energy levels of water and its cation
explore 8
A program in the explorer, stepped line by line.
-
Water, Casida excitation energies
-
Levenberg-Marquardt on Rosenbrock's function
-
Electron mobility fitted to NIST's certified digits
-
Water against PySCF, restricted Hartree-Fock
-
Silicon, plane-wave DFT
-
Oxygen-16, Skyrme Hartree-Fock
-
A small GPT trained on one repeated line
-
Water, restricted Hartree-Fock
ladder 1
A ladder: a program built up one complete program per step.
-
Hartree-Fock for H₂
pde 15
A PDE solver page.
-
The advection equation
Check that one trip around the ring returns the pulse to where it started; and both measured orders
-
The Black-Scholes equation
Check a European call against the closed form: the price, the delta, and the measured order with and without the start-up steps
-
A shock and a rarefaction in inviscid Burgers' equation
Check the shock speed, exact conservation, and the rarefaction fan u = x/t
-
Burgers' equation, viscous
Check the exact travelling-wave solution, its speed, and the measured order
-
The modes of a drum, a Helmholtz eigenproblem
Check the discrete eigenvalues against their closed form (to rounding), the continuum ones to second order, and the degeneracy a square must have
-
The Euler equations of gas dynamics
Check Sod's shock tube: the exact solution against the jump conditions, then the computed plateau, shock position, conservation and L1 convergence against it
-
The Fisher-KPP equation
Check the front speed against the KPP value 2, approached from below with Bramson's logarithmic correction
-
The heat equation
Check the exact decay of a sine mode; the measured order of accuracy; and that the explicit scheme blows up exactly where theory says it must
-
The heat equation in two dimensions
Check two decaying modes against their exact rates, the measured order, and a time step 128 times the explicit limit
-
The Korteweg-de Vries equation
Check a soliton against its exact solution: shape, speed, conserved mass, and the measured order
-
Laplace's equation
Check a value symmetry fixes exactly; and that over-relaxation beats plain Gauss-Seidel by the factor theory predicts
-
The nonlinear Schrödinger equation
Check the bright soliton sech(x) exp(it/2): its shape, its phase, the conserved norm, and the measured order
-
Poisson's equation
Check a manufactured solution; the measured order; and that conjugate gradients converges in far fewer steps than unknowns
-
The time-dependent Schrödinger equation
Check a free packet's spreading, a coherent state's oscillation, norm conservation, and the measured order of the splitting
-
The wave equation
Check a standing wave against its exact solution; the measured order; and that the energy does not drift
engine 2
An engine: a program that reads input files and runs in the browser.
-
Band structure of a crystal, from a POSCAR, a CIF or a pw.x input
Check validated by dft/si_it_check.viv, dft/gaas_it_check.viv
-
Hartree-Fock energy of a molecule, from an XYZ file and a basis name
Check validated by lib/hfref/water_631g.viv, lib/hfref/water_ccpvdz.viv
compare 39
A Python and Viv pair with the same output.
-
Gradients by hand and by grad
Check the Python program's output
-
Arithmetic and conditionals
Check the Python program's output
-
Functions
Check the Python program's output
-
Loops
Check the Python program's output
-
Printing and formatting
Check the Python program's output
-
Exceptions against checked results
Check the Python program's output
-
Reading and writing text files
Check the Python program's output
-
Growing a list
Check the Python program's output
-
Slices, copies and aliases
Check the Python program's output
-
Sorting
Check the Python program's output
-
Counting with number keys
Check the Python program's output
-
Word frequency
Check the Python program's output
-
A small GPT in NumPy and in Viv
Check the Python program's output
-
The same GPT in PyTorch, against Viv
Check the Python program's output
-
Bisection
Check the Python program's output
-
Euler against the exact solution
Check the Python program's output
-
Jacobi iteration
Check the Python program's output
-
LU factorization and solve
Check the Python program's output
-
Matrix operations
Check the Python program's output
-
Newton's method
Check the Python program's output
-
Power iteration
Check the Python program's output
-
Runge-Kutta 4 on an oscillator
Check the Python program's output
-
Simpson's rule
Check the Python program's output
-
A line plot
Check the Python program's output
-
Seeded random numbers
Check the Python program's output
-
Records and dataclasses
Check the Python program's output
-
A class with state
Check the Python program's output
-
Tuples and unpacking
Check the Python program's output
-
Factorial
Check the Python program's output
-
Fibonacci with a memo
Check the Python program's output
-
Tower of Hanoi
Check the Python program's output
-
Merge sort
Check the Python program's output
-
Quicksort in place
Check the Python program's output
-
Caesar cipher
Check the Python program's output
-
Palindromes
Check the Python program's output
-
Numbers from text
Check the Python program's output
-
String basics
Check the Python program's output
-
Word count
Check the Python program's output
-
Tests
Check the Python program's output
doc 18
A topic of the language docs, with runnable examples.
-
Small algorithms
-
Animation
-
Arrays
-
Booleans
-
Complex numbers
-
Control flow
-
Errors, exactly as the compiler says them
-
Complex arrays & the FFT
-
Functions
-
Gotchas
-
Lambdas & higher-order builtins
-
Linear algebra
-
Numbers & arithmetic
-
Plotting
-
Prose in programs
-
Scope & mutation
-
Stencils and PDE steps
-
Testing
dft-source 17
A source file of the plane-wave DFT code, as a page.
-
Aluminum: the deck
-
Aluminum: the checks
-
Diamond: the deck
-
Diamond: the checks
-
Copper: the deck
-
Copper: the checks
-
Gallium arsenide: the deck
-
Gallium arsenide: the checks
-
Germanium: the deck
-
Germanium: the checks
-
The k-mesh
-
The eigensolver
-
What both engines share
-
The dense engine
-
The iterative engine
-
Silicon: the deck
-
Silicon: the checks
vipyr-family 21
A family of vipyr functions.
-
Control
-
Electronic structure of solids
-
Features on event tables
-
Option pricing
-
Model files
-
Language models
-
Hardware simulation
-
Linear algebra
-
Simulation of liquids
-
Nuclear structure
-
Differential equations
-
Fitting and optimization
-
Plasma physics
-
Power systems
-
Randomized linear algebra
-
Quantum chemistry
-
Special functions
-
Statistical mechanics
-
Statistics
-
Symbolic regression
-
Exchange-correlation functionals
vipyr 67
A vipyr API function.
-
The stabilizing solution X of A^T X + X A - X B R^-1 B^T X + Q = 0, as scipy.linalg.solve_continuous_are(A, B, Q, R).
Check scipy.linalg.solve_continuous_are(A, B, Q, R)
-
The cart-pole linearized about the upright: A = df/ds (4 by 4) and B = df/du (4 by 1), by central differences of step h on the nonlinear dynamics, so the linea…
Check Its own test: near the upright the nonlinear rate equals A s to 10−10 (lib/cartpole_api.viv); the LQR gains it leads to match the cart-pole post's (posts/2026-09-22-lqr-balances-the-cart-pole.viv).
-
The linear-quadratic regulator for xdot = A x + B u with cost int x^T Q x + u^T R u: the gain K = R^-1 B^T P, m by n, with u = -K x, and the Riccati solution P…
Check P = scipy.linalg.solve_continuous_are(A, B, Q, R), K = scipy.linalg.solve(R, B^T P)
-
The X with A X + X A^T = Q, as scipy.linalg.solve_continuous_lyapunov(A, Q). lib/lyap solves A'^T X + X A' + C = 0, so A' = A^T and C = -Q.
Check scipy.linalg.solve_continuous_lyapunov(A, Q), which solves A X + X A^T = Q
-
The real Schur decomposition A = Z T Z^T: T quasi-triangular, Z orthogonal. As scipy.linalg.schur(A, output="real"). T is not unique, so compare through the re…
Check scipy.linalg.schur(A, output='real') and scipy.linalg.eigvals(A)
-
The nonlinear cart-pole under the state feedback u = -K s, from the state s0 for
stepssteps of dt (fourth-order Runge-Kutta, the force held over each step).…Check The cart-pole post's closed loop: from 25 degrees under its LQR gains the pole ends within 0.00096 rad of upright after 6 s (posts/2026-09-22-lqr-balances-the-cart-pole.viv).
-
The iterative engine: the same Kohn-Sham calculation as dft/pwdft.viv, without ever forming the Hamiltonian as a matrix.
Check the dense numpy reference, dft/ref (a different algorithm as well as a different language), through each material's check file (dft/_it_check.viv)
-
Days past due, worst in 12 months, ever cured after 60+ (catalog/delinquency.viv).
Check catalog.delinquency_reference: a pandas groupby().apply() with a Python loop per row, equal bit for bit; vipyr.check_point_in_time: no feature reads a row after its own time
-
Gap-aware EWMA with resets (catalog/ewma.viv).
Check catalog.ewma_reference: a pandas groupby().apply() with a Python loop per row, equal to 10−13 relative; vipyr.check_point_in_time: no feature reads a row after its own time
-
Gap-based sessions per user (catalog/sessions.viv).
Check catalog.sessions_reference: a pandas groupby().apply() with a Python loop per row, equal bit for bit; vipyr.check_point_in_time: no feature reads a row after its own time
-
Seconds since the last event of a kind, and of any kind (catalog/since_last.viv).
Check catalog.since_last_reference: a pandas groupby().apply() with a Python loop per row, equal bit for bit; vipyr.check_point_in_time: no feature reads a row after its own time
-
Consecutive active days (catalog/streaks.viv).
Check catalog.streaks_reference: a pandas groupby().apply() with a Python loop per row, equal bit for bit; vipyr.check_point_in_time: no feature reads a row after its own time
-
Trailing-window counts, sum and distinct count (catalog/velocity.viv).
Check catalog.velocity_reference: a pandas groupby().apply() with a Python loop per row, equal bit for bit; vipyr.check_point_in_time: no feature reads a row after its own time
-
Black-Scholes delta, gamma and vega of one option. Delta and vega are
gradof bs_price; gamma is vega / (S^2 sigma T), which holds for Black-Scholes calls an…Check The closed-form Black-Scholes Greeks (examples/options/test_options.py, test_bs_greeks_by_autodiff); delta and vega come from Viv's reverse-mode
grad. -
The Black-Scholes price of a European option on a stock with continuous dividend yield q. An in-the-money option is priced as the out-of-the-money one plus the…
Check The SciPy closed form on 2000 random quotes: worst relative error 1.0 × 10−13, tolerance 10−12 (examples/options/test_options.py).
-
The American put by Crank-Nicolson on M space intervals over [0, Smax] and Nt time steps, of which the first
implicitare fully implicit (two half-size steps…Check The CRR tree, the mean of N = 10000 and 10001 (4.48669): error 8.8 × 10−5, tolerance 2e-4.
-
The CRR value with N steps: u = exp(sigma sqrt(dt)), d = 1/u, the risk-neutral up probability p = (exp((r - q) dt) - d) / (u - d), values rolled back from matu…
Check Hull's printed American put values 4.49, 4.263, 4.272, 4.278 and 4.283 (N = 5 to 500), within half a unit of the last printed digit; the European value at N = 4000 within 2 × 10−3 of Black-Scholes.
-
Heston prices of European options on one stock for an array of strikes, with N cosine terms and the truncation half-width L standard deviations. The put comes…
Check Fang and Oosterlee (2008): 5.785155450 at T = 1 (error 1.6 × 10−8, tolerance 2 × 10−8); SciPy quad of the Gil-Pelaez integrals on 21 options, within 2.0 × 10−13 (tolerance 10−9).
-
The implied volatility of one quote, or NaN when the price is outside the no-arbitrage bounds. Newton steps on log(otm(s)) - log(target) in s = sigma sqrt(T)…
Check A round trip through bs_price on a 1080-quote grid: worst relative error 8.8 × 10−13 on the 898 quotes with time value above 10−5 of the price, tolerance 10−12 (examples/options/test_options.py).
-
Read a GGUF file's metadata and tensor table.
Check gguf-py 0.19.0's GGUFReader: the metadata and the tensor table of lib/gguf/tests/tiny.gguf (every value type) and of llama2.c's stories260K, stories15M-q8_0 and stories15M-q4_0, printed the same way and identical byte for byte in the inter…
-
One tensor of a GGUF file, dequantized to float32.
Check gguf-py 0.19.0's gguf.quants.dequantize: every tensor of lib/gguf/tests/tiny.gguf (one of each type lib/gguf reads) and of stories260K, stories15M-q8_0 and stories15M-q4_0, number for number as binary32 bit patterns, in the interpreter, as…
-
The attention weights of every head of a GPT for one prompt.
Check Rows summing to 1 and zero above the diagonal (r.check()); the weights are those of the attention the forward pass runs (lib/nn's attention_weights, the same operations).
-
Continue a prompt with a trained GPT, one sampled token at a time.
Check The sample of study/compare/ml/tiny_gpt.py from the same model and seed, to the character; at temperature 1 the draws of lib/gpt's sample (lib/gpt/api.viv). python/tests/test_gpt.py.
-
The mean next-token cross-entropy of a GPT on a text.
Check The loss of the PyTorch reimplementation (python/tests/gpt_reference.py) on the same windows, within 10−12 relative (python/tests/test_gpt.py).
-
Train a small GPT on a text, character by character, and get the model back as named arrays.
Check Against the NumPy program study/compare/ml/tiny_gpt.py (hand-written backward pass): its 30 losses, the first six bit for bit and all within 1.2 × 10−15, its trained matrices within 3.6 × 10−15 relative, and its sample to the character. Against a…
-
An RV32I instruction-set simulator: run a program and read back the registers, memory and cycle count.
-
The Euclidean norm of x, with no overflow or underflow in the sum of squares (MINPACK enorm). An empty x has norm 0.
Check mpmath at 50 digits, sqrt(sum x_i^2), at every scale from subnormal to 10300; scipy.linalg.norm where no partial sum overflows
-
The linear-quadratic regulator for xdot = A x + B u with cost int x^T Q x + u^T R u: the gain K = R^-1 B^T P, m by n, with u = -K x, and the Riccati solution P…
Check P = scipy.linalg.solve_continuous_are(A, B, Q, R), K = scipy.linalg.solve(R, B^T P)
-
The real Schur decomposition A = Z T Z^T: T quasi-triangular, Z orthogonal. As scipy.linalg.schur(A, output="real"). T is not unique, so compare through the re…
Check scipy.linalg.schur(A, output='real') and scipy.linalg.eigvals(A)
-
The stabilizing solution X of A^T X + X A - X B R^-1 B^T X + Q = 0, as scipy.linalg.solve_continuous_are(A, B, Q, R).
Check scipy.linalg.solve_continuous_are(A, B, Q, R)
-
The X with A X + X A^T = Q, as scipy.linalg.solve_continuous_lyapunov(A, Q). lib/lyap solves A'^T X + X A' + C = 0, so A' = A^T and C = -Q.
Check scipy.linalg.solve_continuous_lyapunov(A, Q), which solves A X + X A^T = Q
-
Time correlation functions of a trajectory and the diffusion coefficient they give: the velocity autocorrelation function , the mean-square displacement and th…
Check ports/liquids/test_liquids.py: every tolerance is stated beside its check
-
The Lennard-Jones equation of state at one state point, from the fits of Thol et al.: pressure, energy, heat capacities, chemical potential and activity for th…
Check ports/liquids/test_liquids.py: every tolerance is stated beside its check
-
How correlation between successive values changes the error of a time average, shown on a series whose correlation time is known exactly. The series is a gener…
Check ports/liquids/test_liquids.py: every tolerance is stated beside its check
-
Metropolis Monte Carlo of Lennard-Jones atoms at constant N, P and T, the potential cut (not shifted) at r_cut. Each step is a sweep of trial displacements, on…
Check ports/liquids/test_liquids.py: every tolerance is stated beside its check
-
Metropolis Monte Carlo of Lennard-Jones atoms at constant N, V and T, the potential cut (not shifted) at r_cut. Each step is a sweep: every atom in turn is mov…
Check ports/liquids/test_liquids.py: every tolerance is stated beside its check
-
Molecular dynamics of Lennard-Jones atoms at constant N, V and E: velocity Verlet in a periodic cubic box, the potential cut and shifted at r_cut. A run return…
Check Thol et al., Journal of Physical and Chemical Reference Data 45, 023101 (2016) and International Journal of Thermophysics 36, 25 (2015), as eos_lj computes them
-
Molecular dynamics of Lennard-Jones atoms at constant N, V and T, the temperature held by a Nose-Hoover chain of three thermostats, integrated by the time-reve…
Check ports/liquids/test_liquids.py: every tolerance is stated beside its check
-
The pair distribution function g(r) of a set of configurations of N atoms in a periodic cubic box: a histogram of every pair's separation (nearest image) out t…
Check ports/liquids/test_liquids.py: every tolerance is stated beside its check
-
The lowest states of a nucleus in the nuclear shell model: Z valence protons and N valence neutrons outside a closed core, in one of the shipped spaces (the sd…
Check S. Cohen and D. Kurath, Nucl. Phys. 73, 1 (1965)
-
The Skyrme-Hartree-Fock ground state of a spherical closed-shell nucleus: binding energy, radii, single-particle levels and densities, with the forces SLy4, SL…
Check lib/skyrme/refs/skyrme_hf.py (the personal site's numpy solver, constants set to skyrme_rpa's) for every nucleus and force on two meshes (lib/skyrme/refs/compare.py, lib/skyrme/COMPARISON.md); the post's numpy twin of oxygen-16 and skyrme_…
-
Solve one initial value problem for many parameter sets and initial states in one call.
Check 40 one-compartment pharmacokinetic models against Bateman's closed form, worst error 2.8 × 10−10 mg/L at rtol 10−9 (lib/ode/nonstiff_events.viv); every row equal to vp.ode.solve's to the bit (python/tests/test_ode.py).
-
Solve an initial value problem y' = f(t, y, p), stiff or not, with the right-hand side in Viv.
Check The stiff test set's published reference solutions (Mazzia and Magherini, Bari, 2008): Robertson to 1011, Van der Pol (mu = 1000), HIRES and the Oregonator, by Radau IIA (largest relative error 5.2 × 10−10 at rtol 10−8) and BDF (1.6 × 10−6, as Sci…
-
Fit a model's parameters to data by least squares and estimate their covariance, as SciPy's curve_fit.
Check NIST's 26 single-predictor StRD nonlinear regression problems from both certified starts: the certified parameters and standard deviations, and SciPy 1.12's curve_fit counts (lib/minpack/bench_optimize.py, lib/minpack/bench_optimize.json)…
-
Minimize a sum of squares of nonlinear residuals by MINPACK's Levenberg-Marquardt, with the residuals in Viv.
Check lib/minpack/lmder.viv matches a gfortran build of netlib's lmder on 24 Moré-Garbow-Hillstrom cases (lib/minpack/mgh_check.viv); through vp.optimize, NIST's 27 StRD nonlinear regression problems from both certified starts and 18 MGH cases a…
-
Solve a square nonlinear system F(x) = 0 by Levenberg-Marquardt, as SciPy's root(method='lm').
Check SciPy 1.12's root(method='lm') on the square Moré-Garbow-Hillstrom problems (Rosenbrock, helical valley, Powell singular, Freudenstein-Roth) from their standard starts: same root and evaluation counts (lib/minpack/bench_optimize.py, python…
-
Landau damping of a Langmuir wave, computed from the Vlasov-Poisson equations and checked against the exact root of the dispersion relation.
Check the exact root of the Langmuir dispersion relation for a Maxwellian, from the plasma dispersion function (plasma/landau_check.viv)
-
N-1 contingency analysis: every branch and generator outage solved by AC power flow, with DC PTDF/LODF screening.
Check PYPOWER 5.1.21's runpf, one outage at a time (brute force), on case30, case118 and case300: branch |S| to 2 × 10−8 MVA and Vm to 7 × 10−11 over every outage both solve, the same 23 outages of case300 diverge in both; pandapower 3.5.6's run_conting…
-
The continuation power flow: the PV curve of a transfer into one bus, through the nose.
Check PYPOWER 5.1.21's runcpf (pseudo-arclength, full trace) and the largest transfer at which PYPOWER's Newton power flow converges, on case9, case30 and case118; every curve point re-solved by PYPOWER at its transfer agrees in Vm; the Jacobian…
-
A generator-interconnection study: violations before and after the project, distribution factors, and the transfer limit.
Check PYPOWER 5.1.21, brute force: the N-1 of the case with the project at the transfer limit has no violation that the case without it lacks, and at the next output the bisection tried it has one (case30 at bus 30, case118 at buses 38 and 87; l…
-
Read a PSS/E RAW file (revisions 32 to 34) into MATPOWER's arrays.
Check ANDES 2.0.0's own reader and power flow, and pandapower 3.5.6 on ANDES's conversion, on the seven RAW cases ANDES ships (IEEE 14, WSCC 9, Kundur, IEEE 39, NPCC 140, WECC 179, Nordic 44): the admittance matrices agree to 5 × 10−13 and pandapowe…
-
Solve the AC or DC power flow of a MATPOWER case: bus voltages, generator outputs and branch flows.
Check MATPOWER's own solution of its test case t_case9_pf (lib/t/soln9_pf.mat and soln9_dcpf.mat): every voltage, generator and branch result to 10−12 by NR and DC, and by FDXB to its convergence tolerance; and an independent NumPy/SciPy power f…
-
Three-phase short-circuit currents by IEC 60909 at the buses of a case.
Check pandapower 3.5.6's shortcircuit.calc_sc (IEC 60909, three-phase, case max) on the same network (from_ppc, every generator a machine with the RAW source impedance, transformers on the system base): Ik'' at every bus of case118 (from RAW) an…
-
Randomly pivoted Cholesky: F with A ~ F F^T.
Check lib/randla/check_ref.py: on a Gaussian kernel of 500 points (bandwidth 0.05), the trace error tr(A - F F^T) at k = 40 is below the best rank-20 approximation's.
-
Hutch++'s trace estimate from m products.
Check lib/randla/check_ref.py: on a 400 by 400 matrix with eigenvalues j^-2, the mean relative error over 8 seeds falls with the number of products m with a fitted slope above 0.9 (Hutchinson's falls as m^-1/2).
-
Restricted or unrestricted Hartree-Fock for a molecule in a Gaussian basis set, with PySCF's names, shapes and units.
Check PySCF 2.5.0, run live by study/ports/pyscf/test_vivscf_vs_pyscf.py (VIVSCF_BACKEND=export)
-
The Boys functions F_0(T) .. F_nmax(T), as an array of nmax + 1 values, with F_n(T) = int_0^1 t^(2n) exp(-T t^2) dt. Orders 0 to 16, T >= 0.
Check mpmath at 50 digits: F_n(T) = T^-(n+1/2) gammainc(n+1/2, 0, T) / 2, and F_n(0) = 1/(2n+1)
-
The Faddeeva function w(z) = exp(-z^2) erfc(-i z).
Check scipy.special.wofz
-
The plasma dispersion function Z(zeta) = i sqrt(pi) w(zeta) and its derivative Z'(zeta) = -2 (1 + zeta Z(zeta)), anywhere in the plane.
Check Z = 1jsqrt(pi)scipy.special.wofz(zeta); Z' = -2(1 + zetaZ) from that Z
-
The two-dimensional Ising model on an L by L square lattice with periodic edges, sampled by Metropolis (checkerboard order) or Wolff clusters at temperature T…
Check Onsager, Phys. Rev. 65, 117 (1944): T_c and the infinite lattice's energy; Yang, Phys. Rev. 85, 808 (1952): the spontaneous magnetization; Kaufman, Phys. Rev. 76, 1232 (1949), as Ferdinand and Fisher, Phys. Rev. 185, 832 (1969) eq. 2.1, wr…
-
The mean, variance, skewness and kurtosis of a sample, with sums that keep their digits.
Check lib/stats/describe.viv's tests; python/tests/test_stats.py against NumPy and SciPy, and on 109 + x samples where the textbook formula sum x^2 - n mean^2 loses every digit.
-
Generalized linear models by R's IRLS: binomial, Poisson, Gamma and Gaussian, with R's warnings.
Check R 4.3.3's glm on its own datasets (esoph-style binomial with trials, mtcars logit and probit, warpbreaks Poisson, a Gamma fit with both links) and a separated logistic fit, to 10−10 at R's epsilon 10−14 (lib/stats/glm_check.py, python/test…
-
Least squares with statsmodels' inference table, by pivoted QR, checked against NIST's certified results.
Check NIST StRD's 11 linear regression datasets (Norris, Pontius, NoInt1, NoInt2, Filip, Longley, Wampler1-5): certified digits of every coefficient, standard error, the residual SD and R^2, beside statsmodels 0.14 and R 4.3.3's lm (lib/stats/ni…
-
Sample quantiles of Hyndman and Fan's nine types, as R's quantile() computes them.
Check R 4.3.3's quantile() for all nine types (lib/stats/describe.viv, python/tests/test_stats.py).
-
AI Feynman-style symbolic regression: recover a physics formula from samples by dimensional analysis, symmetry and separability tests.
-
SISSO: a descriptor built from a feature space of formulas, chosen by sure independence screening and sparse regression.
-
The exchange-correlation functionals of Libxc's LDA and GGA families, evaluated on a density grid: energy density and potential.
atlas 53
A code atlas: the call graph of a vipyr function.
-
C compiler in Viv
-
vp.control.care
-
vp.control.cartpole_model
-
vp.control.lqr
-
vp.control.lyapunov
-
vp.control.schur
-
vp.control.simulate
-
vp.dft.pw
-
lowest_eigenpairs
-
vp.features.delinquency
-
vp.features.ewma
-
vp.features.sessions
-
vp.features.since_last
-
vp.features.streaks
-
vp.features.velocity
-
vp.finance.bs_greeks
-
vp.finance.bs_price
-
vp.finance.cn_american_put
-
vp.finance.crr_price
-
vp.finance.heston_cos
-
vp.finance.implied_vol
-
vp.gguf.read
-
vp.gguf.tensor
-
vp.gpt.attention
-
vp.gpt.generate
-
vp.gpt.loss
-
vp.gpt.train
-
vp.linalg.enorm
-
vp.linalg.lqr
-
vp.linalg.schur
-
vp.linalg.solve_care
-
vp.linalg.solve_lyapunov
-
vp.liquids.diffusion
-
vp.liquids.eos
-
vp.liquids.error_calc
-
vp.liquids.mc_npt
-
vp.liquids.mc_nvt
-
vp.liquids.md_nve
-
vp.liquids.md_nvt
-
vp.liquids.pair_distribution
-
vp.nuclear.shell_model
-
vp.nuclear.skyrme_hf
-
vp.ode.batch
-
vp.ode.solve
-
vp.plasma.landau
-
vp.randla.rp_cholesky
-
vp.randla.trace_hutchpp
-
vp.scf.run
-
vipyr.sisso.fit
-
vp.special.boys
-
vp.special.faddeeva_w
-
vp.special.plasma_z
-
vp.statmech.ising
program 1495
A .viv program.
-
bench/eri_closed_form.vivThe two-electron integrals from the closed form for s-type Gaussians.
-
bench/eri_hermite.vivThe same integrals by the Hermite expansion of McMurchie and Davidson.
-
bench/hf_budget.vivThe browser budget for Hartree-Fock posts. A post runs in viv.wasm, the
-
bench/hf_hgp_eri.vivWater 6-31G two-electron integrals by Head-Gordon-Pople (lib/hf/hgp_eri):
-
bench/hf_md_dd.viv10,000 (dd|dd) primitive quartets, one integral each: every function is the
-
bench/hf_md_eri.vivWater 6-31G two-electron integrals by McMurchie-Davidson (lib/hf/md_eri):
-
bench/hf_md_eri_x100.vivbench/hf_md_eri.viv built 100 times over: one build takes about 3 ms
-
bench/hf_md_omp.vivThe two loops a many-core machine speeds up, on water cc-pVDZ (Cartesian,
-
bench/hf_md_pp.viv10,000 (pp|pp) primitive quartets, one integral each: every function is the
-
bench/hf_scf_631g.vivWater 6-31G, from the molecule to the RHF energy: every integral
-
bench/hf_scf_bench.vivWater cc-pVDZ, spherical, from the molecule to the RHF energy: every
-
bench/jacobi_stencil.vivJacobi iteration for Laplace's equation on a 128 x 128 grid: the top edge
-
bench/matmul_chain.vivA chain of 60 dense 160 x 160 matrix products: P = Q^60, with Q a
-
bench/matmul_loops.vivMatrix product written as loops, three indexed reads and one indexed
-
bugs/tests/b052_libc_names.vivB052 (bugs/ledger.jsonl): a variable named after a function of unistd.h,
-
bugs/tests/b110_assert_true_types.vivB110 (bugs/ledger.jsonl):
assert_true(ok)in a test madeoka number -
bugs/tests/b112_int_counter_literal_bound.vivB112 (bugs/ledger.jsonl): a loop variable that is an Int (an earlier loop
-
bugs/tests/b200_fn_forwarded_twice.vivB200 (bugs/ledger.jsonl): a function value forwarded through two defs was
-
bugs/tests/b201_exp_correctly_rounded.vivB292 (bugs/ledger.jsonl): exp(1.0) printed 2.7182818284590455, one ulp above
-
bugs/tests/b202_empty_row_literal.vivB202 (bugs/ledger.jsonl): the literal
[[]]was a 1 x 0 matrix in the -
bugs/tests/b203_zero_pad.vivB203 (bugs/ledger.jsonl): the zero-pad flag was read as part of the width
-
bugs/tests/b204_if_expr_int.vivB204 (bugs/ledger.jsonl): an if-expression with an integer literal on one
-
bugs/tests/b205_int_call_var.vivB205 (bugs/ledger.jsonl):
s = int(2.0)leftsa number, sof(s)with -
bugs/tests/b206_adjacent_strings.vivB206 (bugs/ledger.jsonl): two string literals side by side were accepted
-
bugs/tests/b207_empty_str_list.vivB207 (bugs/ledger.jsonl):
used: [Str] = []then"a" in usedstopped -
bugs/tests/b208_record_forward_ref.vivB208 (bugs/ledger.jsonl): a record field could not name a record declared
-
bugs/tests/b209_record_map_field.vivB209 (bugs/ledger.jsonl): a record field typed
Maprefused a map with -
bugs/tests/b299_unpacked_int_mod.vivB300 (bugs/ledger.jsonl), found by vivsmith (tools/fuzz): an Int that comes
-
bugs/tests/b300_int_inside_abs_min_max.vivB301 (bugs/ledger.jsonl), found by vivsmith (tools/fuzz):
int(x),len(a) -
bugs/tests/b302_index_calls_def_writing_array.vivB303 (bugs/ledger.jsonl), found by vivsmith (tools/fuzz, seeds 100815, 101225
-
bugs/tests/b304_early_int_temp.vivB308 (bugs/ledger.jsonl):
m: Int = int(g(x)) - (k if c else k)was -
bugs/tests/b340_append_to_parameter.vivB340 (bugs/ledger.jsonl): appending to an [Int] or Arr that arrived as a
-
bugs/tests/b341_empty_str_list_field.vivB341 (bugs/ledger.jsonl): an empty [Str] in a record literal was refused by
-
bugs/tests/b342_int_slice_bounds.vivB342 (bugs/ledger.jsonl):
s[a:b]with Int bounds was refused ("expected -
bugs/tests/b343_int_array_ops.vivB343 (bugs/ledger.jsonl): [Int] lacked extend, sum, slices, min, max and
-
bugs/tests/b345_c_keyword_names.vivB345 (bugs/ledger.jsonl): a Viv variable named
asmwas emitted as is, and -
bugs/tests/b346_defs_only.vivB346 (bugs/ledger.jsonl): a module of defs and records alone, with no test
-
catalog/asof.vivAs-of join: attach to each left row the latest right value of the same key.
-
catalog/delinquency.vivDelinquency: days past due, from bills and payments, as a state machine.
-
catalog/ewma.vivGap-aware EWMA: an exponentially weighted mean that decays with elapsed time.
-
catalog/labels.vivLABELS, NOT FEATURES. A label reads the future by design: it is what a model
-
catalog/rows.vivRow groups shared by the catalog's features: rows sorted by (key, ts).
-
catalog/sessions.vivSessions: gap-based sessionization per user.
-
catalog/since_last.vivTime since the last event of a given type, per user.
-
catalog/streaks.vivStreaks: consecutive active days per user.
-
catalog/velocity.vivVelocity: counts, sums and distinct counts per user over trailing windows.
-
claims/control/lqr_gain_margin.vivLQR stabilizes the cart-pole at half the gain
-
claims/finance/monte_carlo_rate.vivEach digit of Monte Carlo accuracy costs 100× the paths
-
claims/finance/put_call_parity.vivPut-call parity holds to rounding error
-
claims/hardware/adder_depth.vivRipple-carry delay grows like n, carry-lookahead like log n
-
claims/math/central_difference_near_a_jump.vivFinite differences stay second order away from a jump
-
claims/math/cg_sqrt_kappa.vivConjugate gradients take √κ iterations
-
claims/math/exp_series_cancellation.vivThe Taylor series of eˣ fails at x = −20
-
claims/math/finite_difference_step.vivThe best forward-difference step is about 10⁻⁸
-
claims/math/givens_hessenberg.vivtiming
-
claims/math/hilbert_digits.vivEach factor of ten in the condition number costs a digit
-
claims/math/kepler_leapfrog_rk4.vivLeapfrog holds a planet's energy for 100,000 orbits
-
claims/math/newton_quadratic.vivNewton's method doubles the correct digits each step
-
claims/math/one_minus_cos.viv1 − cos x loses its digits as x shrinks
-
claims/math/qr_orthogonality.vivHouseholder and Givens keep Q orthogonal at any condition number
-
claims/math/qrlib.vivqrlib
-
claims/math/quadratic_cancellation.vivThe quadratic formula loses the small root
-
claims/math/runge_chebyshev.vivChebyshev nodes tame Runge's function
-
claims/math/spectral_derivative.vivSpectral derivatives beat every power of N
-
claims/math/stiff_robertson.vivOn a stiff problem an explicit solver takes hundreds of times the steps
-
claims/math/summation_order.vivPairwise summation keeps the rounding error of a sum small
-
claims/math/trapezoid_periodic.vivThe trapezoid rule is spectrally accurate on periodic functions
-
claims/math/variance_one_pass.vivThe one-pass variance comes out negative on four numbers
-
claims/power/dc_error_with_loading.vivDC power flow gets worse as the grid loads up
-
claims/power/sparse_newton_scales_linearly.vivtiming
-
claims/science/atom_virial.vivLDA atoms miss the virial theorem by under 5%
-
claims/science/debye_screening.vivStrong charges still screen at the Debye length
-
claims/science/ising_binder_crossing.vivBinder cumulants find the Ising critical point within 1%
-
claims/science/spin_orbit_magic_28.vivSpin-orbit coupling makes 28 a magic number
-
claims/science/spin_orbit_nuclei_vs_atoms.vivNuclear spin-orbit splitting rivals the shell gap
-
claims/stats/logistic_separation.vivLogistic regression on separated data never converges
-
claims/stats/lstsq_qr_vs_normal_equations.vivQR keeps the digits the normal equations lose
-
claims/stats/multiple_testing.vivTwenty tests on pure noise find something 64.7% of the time
-
dft/al.vivAluminum, fcc: a METAL, so occupations are Fermi-Dirac and the Fermi level is solved for.
-
dft/al_check.vivAl: what the calculation must reproduce, and the picture of it.
-
dft/al_it_check.vivAl: what the calculation must reproduce, and the picture of it.
-
dft/c.vivDiamond. A hard first-row pseudopotential: it wants a 20 Ha cutoff where silicon wants 6.
-
dft/c_it_check.vivC: what the calculation must reproduce, and the picture of it.
-
dft/cu.vivCopper, fcc, with its 3d shell in the valence: 11 electrons, five flat d bands 2-5 eV below
-
dft/cu_it_check.vivCu: what the calculation must reproduce, and the picture of it.
-
dft/explore_si.vivSilicon in the dense engine, small enough to explore in a browser tab.
-
dft/gaas.vivGallium arsenide, zincblende: two species, and NO inversion symmetry, so the
-
dft/gaas_it_check.vivGaAs: what the calculation must reproduce, and the picture of it.
-
dft/ge.vivGermanium, diamond structure. LDA closes its gap ENTIRELY — the classic failure — and it
-
dft/ge_it_check.vivGe: what the calculation must reproduce, and the picture of it.
-
dft/kmesh.vivkmesh: the symmetric k-mesh for an fcc crystal, halved by time reversal.
-
dft/pw_common.vivpw_common: what the dense and the iterative plane-wave engines share.
-
dft/pwdft.vivpwdft: the DENSE engine. H(k) is built and diagonalized at every k-point.
-
dft/pwdft_it.vivpwdft_it: the ITERATIVE engine. H is never built — it is applied.
-
dft/si.vivSilicon, diamond structure.
-
dft/si_check.vivSi: what the calculation must reproduce, and the picture of it.
-
dft/si_it_check.vivSi: what the calculation must reproduce, and the picture of it.
-
docs/tutorial/01_first.vivThe sum of the first n squares, three ways.
-
docs/tutorial/02_arrays.vivArrays broadcast like NumPy; @ is always the matrix product.
-
docs/tutorial/03_record.vivA record groups named fields; a def takes and returns one.
-
docs/tutorial/04_plot.vivA figure is part of the program's output: plot prints a record that a host draws.
-
docs/tutorial/05_steps.vivNamed steps give the explorer and
viv graphthe phases of a program. -
engines/dft-bands.vivengine dft-bands
-
engines/hf-energy.vivengine hf-energy
-
engines/precise.vivprecise: a number in three parts that each print exactly.
-
examples/cuda/elementwise.vivAn elementwise tree as one GPU kernel: one
-
examples/cuda/heat.vivOne explicit step of the heat equation as a
parallel for: one GPU -
examples/cuda/heat2d.vivThe 2-D heat equation u_t = u_xx + u_yy on a W by H grid, explicit Euler
-
examples/cuda/matmul.vivThe matrix product C = A B in float64 on a GPU, exact mode: two kernels
-
examples/cuda/pairwise.vivsumanddotas GPU kernels in the canonical order (NumPy's -
examples/datasci/card_velocity/features.vivCard velocity features, as of each transaction.
-
examples/deploy/churn.vivchurn: a scikit-learn model as Viv, written by
vipyr compile; do not edit. -
examples/digits/cancel.viv1 - cos(x) for small x: the subtraction cancels the leading digits of
-
examples/digits/hilbert.vivSolve H x = H 1 for the n x n Hilbert matrix, H[i][j] = 1/(i + j + 1),
-
examples/digits/kahan.vivA sum of n terms of 0.1 by a loop, by Kahan's compensated loop, and
-
examples/hello.vivNewton's method for a square root, the program on viv-lang.org's home page
-
examples/options/bs.vivBlack-Scholes prices and implied volatilities for arrays of quotes.
-
examples/options/cnpde.vivCrank-Nicolson finite differences for the Black-Scholes equation, in the
-
examples/options/crr.vivThe Cox-Ross-Rubinstein binomial tree (J. Financial Economics 7, 1979)
-
examples/options/digits_prices.vivPrices the digits lens reads (
viv digits examples/options/digits_prices.viv): -
examples/options/gallery_american.vivThe American put by Crank-Nicolson, drawn
-
examples/options/gallery_heston.vivThe implied volatility smile under Heston, drawn
-
examples/options/gallery_smile.vivAn implied volatility smile recovered from prices, drawn
-
examples/options/greeks.vivGreeks by Viv's reverse-mode autodiff (
grad), for Black-Scholes and for -
examples/options/heston.vivEuropean options under the Heston model by the COS method of Fang and
-
examples/options/mc.vivMonte Carlo for path-dependent options, on a counter-based generator:
-
gallery/hardware/adder.vivA four-bit ripple-carry adder out of NAND gates, and the gate outlines of
-
gallery/hardware/cc_fib.vivRecursive Fibonacci in C, compiled by lib/cc to RV32IM, assembled by
-
gallery/science/zgrid.vivThe Faddeeva function and the plasma dispersion function on a grid, for
-
kernels/k1/cases/case_boys.vivgenerated by kernels/k1/test_k1.py for
boys; do not edit -
kernels/k1/cases/case_enorm.vivgenerated by kernels/k1/test_k1.py for
enorm; do not edit -
kernels/k1/cases/case_faddeeva_w.vivgenerated by kernels/k1/test_k1.py for
faddeeva_w; do not edit -
kernels/k1/cases/case_lqr.vivgenerated by kernels/k1/test_k1.py for
lqr; do not edit -
kernels/k1/cases/case_plasma_z.vivgenerated by kernels/k1/test_k1.py for
plasma_z; do not edit -
kernels/k1/cases/case_schur.vivgenerated by kernels/k1/test_k1.py for
schur; do not edit -
kernels/k1/cases/case_solve_care.vivgenerated by kernels/k1/test_k1.py for
solve_care; do not edit -
kernels/k1/cases/case_solve_lyapunov.vivgenerated by kernels/k1/test_k1.py for
solve_lyapunov; do not edit -
kernels/k1/control.vivKernel collection K1: SLICOT-style control numerics.
-
kernels/k1/norms.vivKernel collection K1: MINPACK's overflow-safe Euclidean norm.
-
kernels/k1/special.vivKernel collection K1: special functions.
-
ladders/h2.vivladder Hartree-Fock for H₂
-
The worked example for the native-annotation syntax: the Boys function and
-
A few numeric functions, in real Viv syntax.
-
Automatic forward-mode AD:
deriv(fn(x) -> expr, x0)returns the EXACTCheck AD as an IR transform
-
Forward-mode automatic differentiation via dual numbers.
Check dual numbers, exact
-
Reverse-mode automatic differentiation via a tape ("micrograd in Viv").
Check one backward pass
-
Control flow: recursion, while, for, break/continue, if/else.
-
Self-consistent field solution of the nonlinear Poisson-Boltzmann equation for
Check Debye length recovered
-
Finite-element solution of the 2D Poisson equation -Laplacian(u) = f on the
Check O(h²), the P1 rate
-
The 2D Poisson FEM (see fem_poisson.viv), refactored with records to show the
Check records are zero-cost
-
Poisson's equation, solved spectrally: -u'' = f on a periodic domain.
Check exact solution — spectral, to rounding
-
Elementwise expressions and reductions over slices, as the compiled
-
Geometry optimization by numerical gradients: relax a diatomic's bond length to
Check HF/STO-3G equilibrium
-
Polyatomic geometry optimization: relax water (H2O) to its equilibrium by
Check HF/STO-3G water
-
Grad-Shafranov equilibrium of a tokamak: the self-consistent MHD force balance
Check tokamak flux surfaces
-
Restricted Hartree-Fock for H2 at fixed geometry in the STO-3G basis.
Check Szabo & Ostlund
-
Hasegawa-Wakatani (1983): resistive drift-wave turbulence. Two coupled 2D fields,
Check drift-wave turbulence
-
Restricted Hartree-Fock for a linear chain of N hydrogen atoms in STO-3G.
Check C++ interpreter, exact
-
A self-consistent field in miniature: the debug lens and the story lens on a
-
Nuclear level density by exact many-fermion state counting.
Check exact count vs Hardy–Ramanujan
-
Molecular dynamics of a Lennard-Jones bead-spring polymer.
Check R_g 11.5 → 6.0
-
Symbolic metamodeling by continuous optimization: the Meijer G-function
Check identification by snapping
-
A mini computer-algebra system in Viv: symbolic computation written with no
Check symbolic diff, simplify to fixpoint
-
NN-guided symmetry discovery: the AI-Feynman outer loop, in Viv.
Check the oracle finds x−y
-
O'Neil (1965) trapping: the nonlinear sequel to Landau damping. When a wave has
Check nonlinear saturation
-
Restricted Hartree-Fock with a general McMurchie-Davidson integral engine,
Check general integral engine
-
Molecule-driven restricted Hartree-Fock in STO-3G.
Check published HF/STO-3G
-
Restricted Hartree-Fock for WATER (H2O) in STO-3G, with a general
Check Crawford −74.9420787, ~1 µEₕ
-
Restricted Hartree-Fock for WATER (H2O) in 6-31G(d) [6-31G*], with a general
Check 6-31G*, 19 basis functions
-
Spitzer-Harm (1953) conductivity: the electrical conductivity of a fully ionized
Check Spitzer–Härm 1953
-
Symbolic regression in Viv: recover a formula from data by brute force.
Check AI-Feynman inner loop
-
Neutron-star structure from the Tolman-Oppenheimer-Volkoff equations,
Check Oppenheimer–Volkoff 1939
-
The two-stream instability by a 1D electrostatic particle-in-cell (PIC) code:
Check particle-in-cell
-
Landau damping by a 1D1V Vlasov-Poisson solver, written in Viv.
Check Landau damping
-
Read a molecule written as XYZ text into atoms: symbol, atomic number,
-
lang/viv/features/examples/aliasing-and-copies.vivaliasing-and-copies
-
lang/viv/features/examples/arch-lens.vivTwo layers in one module would be a contradiction, so the lens below puts
-
lang/viv/features/examples/arrays-of-records.vivarrays-of-records
-
lang/viv/features/examples/asserts.vivThe assert builtins. Inside a test block they report under the test's name.
-
lang/viv/features/examples/axis-reductions.vivaxis-reductions
-
lang/viv/features/examples/bare-return-and-trailing-commas.vivbare-return-and-trailing-commas
-
lang/viv/features/examples/batched-matmul.vivbatched-matmul
-
lang/viv/features/examples/binary-data.vivthe first bytes of a GGUF file, then a half 1.0 and the smallest subnormal half
-
lang/viv/features/examples/blocked-matmul.viv@ is cache-blocked; each entry still adds its terms in the order of the
-
lang/viv/features/examples/broadcasting.vivbroadcasting
-
lang/viv/features/examples/builtin-options.vivbuiltin-options
-
lang/viv/features/examples/cert.vivThe
.certlens file:viv check --phrases --certwrites cert.cert, one -
lang/viv/features/examples/check-phrases-certificates.vivEach phrase with a closed form, held to lib/cas's exact value by
-
lang/viv/features/examples/closures.viva lambda inside a def captures the def's locals by value
-
lang/viv/features/examples/complex-arrays.vivcomplex-arrays
-
lang/viv/features/examples/complex-numbers.vivcomplex-numbers
-
lang/viv/features/examples/compound-assignment.vivcompound-assignment
-
lang/viv/features/examples/constructor-defs.vivconstructor-defs
-
lang/viv/features/examples/contract-declarations.vivThree ways to sum the squares of an array, declared as one contract with
-
lang/viv/features/examples/contracts.vivcontracts
-
lang/viv/features/examples/debt.vivSquare roots by Newton's method.
-
lang/viv/features/examples/debug-lens.vivSquare roots by Newton's method, with a debug lens beside it (debug-lens.debug).
-
lang/viv/features/examples/deriv.vivderiv
-
lang/viv/features/examples/device-arrays.vivdevice-arrays
-
lang/viv/features/examples/digits.viv1 - cos(x) cancels: what is left of cos(x)'s rounding error decides the digits
-
lang/viv/features/examples/disjoint-pins.vivdisjoint-pins
-
lang/viv/features/examples/docstrings-and-annotations.vivThe kinetic energy of a particle.
-
lang/viv/features/examples/einsum.viveinsum
-
lang/viv/features/examples/elementwise-math.vivelementwise-math
-
lang/viv/features/examples/enumerate-start.vivenumerate-start
-
lang/viv/features/examples/enums-and-match.vivenums-and-match
-
lang/viv/features/examples/explain.vivSquare roots by Newton's method.
-
lang/viv/features/examples/f-strings.vivf-strings
-
lang/viv/features/examples/fft.vivfft
-
lang/viv/features/examples/field-assignment.vivfield-assignment
-
lang/viv/features/examples/float32.vivfloat32
-
lang/viv/features/examples/for-from-by.vivfor-from-by
-
lang/viv/features/examples/for-in-loops.vivfor-in-loops
-
lang/viv/features/examples/for-leaves.vivfor-leaves
-
lang/viv/features/examples/format-specs.vivformat-specs
-
lang/viv/features/examples/function-values.vivfunction-values
-
lang/viv/features/examples/gathers.vivgathers
-
lang/viv/features/examples/generator-argument.vivgenerator-argument
-
lang/viv/features/examples/gpu-2d-grids.vivA 2-D grid: each thread reads its column and row from x and y, with no
-
lang/viv/features/examples/gpu-kernels.vivgpu-kernels
-
lang/viv/features/examples/grad.vivgrad
-
lang/viv/features/examples/growable-arrays.vivgrowable-arrays
-
lang/viv/features/examples/holds.vivSquare roots by Newton's method, with holds in holds.debug: claims the
-
lang/viv/features/examples/if-expression.vivif-expression
-
lang/viv/features/examples/imports.vivimports
-
lang/viv/features/examples/in-operator.vivin-operator
-
lang/viv/features/examples/int-arrays.vivint-arrays
-
lang/viv/features/examples/int-type.vivint-type
-
lang/viv/features/examples/intent-lens.vivSquare roots by Newton's method.
-
lang/viv/features/examples/intent-levels.vivSquare roots by Newton's method.
-
lang/viv/features/examples/intent-stamps.vivSquare roots by Newton's method.
-
lang/viv/features/examples/ints-and-numbers.vivints-and-numbers
-
lang/viv/features/examples/key-argument.vivkey-argument
-
lang/viv/features/examples/keyword-arguments.vivkeyword-arguments
-
lang/viv/features/examples/ladders.vivladders
-
lang/viv/features/examples/lambdas.vivlambdas
-
lang/viv/features/examples/lens-coverage.vivSquare roots by Newton's method.
-
lang/viv/features/examples/lib-cas.vivlib/cas: exact symbolic algebra written in Viv.
-
lang/viv/features/examples/lib-control.vivlib/lqr: the LQR gains of the double integrator x'' = u, from the Riccati
-
lang/viv/features/examples/lib-gpt.vivlib/gpt: a small GPT as records of matrices, trained by value_and_grad,
-
lang/viv/features/examples/lib-hf.vivRestricted Hartree-Fock for H2 in STO-3G, as PySCF's gto.M + scf.RHF.
-
lang/viv/features/examples/lib-linalg.vivlib/schur: the real Schur form A = Q T Q^T by Householder and Francis's QR.
-
lang/viv/features/examples/lib-minpack.vivlib/minpack: MINPACK's lmder1 (Levenberg-Marquardt), here on Rosenbrock's
-
lang/viv/features/examples/lib-nn.vivlib/nn: the forward pieces of a transformer, whole-array and batched.
-
lang/viv/features/examples/lib-nprandom.vivlib/nprandom: NumPy's generators, bit for bit. np.random.default_rng(0).random()
-
lang/viv/features/examples/lib-ode.vivlib/ode: Robertson's stiff kinetics to t = 40 by Radau IIA, with the exact
-
lang/viv/features/examples/lib-optim.vivlib/optim: Adam over a model held as a record, one matrix at a time.
-
lang/viv/features/examples/lib-params.vivlib/params: a model's matrices in one flat vector, with a layout table.
-
lang/viv/features/examples/lib-randla.vivlib/randla: a rank-5 randomized SVD, from a sketch generated by Philox.
-
lang/viv/features/examples/lib-random.vivlib/random: draws over the one generator rand(), so every engine draws the same.
-
lang/viv/features/examples/lib-xyz-basis.vivlib/xyz reads atoms from XYZ or PySCF-style text; lib/basis holds the basis sets.
-
lang/viv/features/examples/list-comprehension.vivlist-comprehension
-
lang/viv/features/examples/loop-arena.vivevery pass allocates x * 1.0 and r; at the end of each pass the compiled
-
lang/viv/features/examples/map-comprehension.vivmap-comprehension
-
lang/viv/features/examples/maps.vivmaps
-
lang/viv/features/examples/masks-and-where.vivmasks-and-where
-
lang/viv/features/examples/memory-lens.vivWhat each def does with the arrays it is given and makes, as the compiler
-
lang/viv/features/examples/method-call-syntax.vivmethod-call-syntax
-
lang/viv/features/examples/method-registries.vivmethod-registries
-
lang/viv/features/examples/modules/secret.vivA module for the private-names example:
from modules.secret import scaled. -
lang/viv/features/examples/modules/shapes.vivA module for the use-modules example:
import modules.shapes. -
lang/viv/features/examples/monomorphization.vivmonomorphization
-
lang/viv/features/examples/multiple-returns.vivmultiple-returns
-
lang/viv/features/examples/negative-index.vivnegative-index
-
lang/viv/features/examples/num-and-bool.vivnum-and-bool
-
lang/viv/features/examples/numpy-agreement.vivsum, mean, var and std add in NumPy's pairwise order
-
lang/viv/features/examples/numpy-vocabulary.vivnumpy-vocabulary
-
lang/viv/features/examples/one-line-steps.vivone-line-steps
-
lang/viv/features/examples/operators.vivoperators
-
lang/viv/features/examples/optionals.vivoptionals
-
lang/viv/features/examples/ordered-sum.vivNumPy's pairwise order adds 1.0 × 1016 + 1.0 and -1.0 × 1016 + 1.0 first and loses
-
lang/viv/features/examples/packed-arrays.vivpacked-arrays
-
lang/viv/features/examples/parallel-for.vivparallel-for
-
lang/viv/features/examples/phrases.vivphrases
-
lang/viv/features/examples/placeholder-defs.vivplaceholder-defs
-
lang/viv/features/examples/plot-math.vivLabels with math: the parts of a title, an axis label, a legend entry,
-
lang/viv/features/examples/print-and-fmt.vivprint-and-fmt
-
lang/viv/features/examples/private-names.vivprivate-names
-
lang/viv/features/examples/problem-posts.vivThe area of a circle
-
lang/viv/features/examples/pseudocode-view.vivSquare roots by Newton's method.
-
lang/viv/features/examples/python-literals.vivpython-literals
-
lang/viv/features/examples/python-math.vivpython-math
-
lang/viv/features/examples/random-draws.vivrandom-draws
-
lang/viv/features/examples/record-arithmetic.vivrecord-arithmetic
-
lang/viv/features/examples/record-defaults.vivrecord-defaults
-
lang/viv/features/examples/record-update.vivrecord-update
-
lang/viv/features/examples/records.vivrecords
-
lang/viv/features/examples/recursion.vivrecursion
-
lang/viv/features/examples/reduction-adjoints.vivreduction-adjoints
-
lang/viv/features/examples/release-mode.vivrelease-mode
-
lang/viv/features/examples/scans.vivscans
-
lang/viv/features/examples/set-overrides.vivset-overrides
-
lang/viv/features/examples/show-and-narrate.vivshow-and-narrate
-
lang/viv/features/examples/slice-write.vivslice-write
-
lang/viv/features/examples/slices.vivslices
-
lang/viv/features/examples/solvers-returning-tuples.vivsolvers-returning-tuples
-
lang/viv/features/examples/sorting.vivsorting
-
lang/viv/features/examples/std-contracts.vivstd/contracts: integrate and find_root run their default method (Gauss, the
-
lang/viv/features/examples/std-phrases.vivstd/phrases: the defs a phrase calls that are not builtins, added to the
-
lang/viv/features/examples/steps.vivsteps
-
lang/viv/features/examples/stop.vivstop
-
lang/viv/features/examples/story.vivThe story of a run: calls, steps and loop passes in the intent's words
-
lang/viv/features/examples/strictness-rules.vivWhat Viv accepts in place of the forms it refuses (see the entry's text for
-
lang/viv/features/examples/string-lists.vivstring-lists
-
lang/viv/features/examples/strings.vivstrings
-
lang/viv/features/examples/test-blocks.vivA test block is the unit that passes or fails: it prints one PASS or FAIL
-
lang/viv/features/examples/text-fences.vivA fenced block of text
-
lang/viv/features/examples/three-engine-identity.vivThe interpreter, C and wasm print the same bytes: the same libm (Viv's own),
-
lang/viv/features/examples/tool-atlas.vivThe mean of a vector.
-
lang/viv/features/examples/tool-compile.vivtool-compile
-
lang/viv/features/examples/tool-deps.vivThe mean of a vector.
-
lang/viv/features/examples/tool-doc.vivThe mean of a vector.
-
lang/viv/features/examples/tool-graph.vivviv graphprints the program as defs, steps and the loops that hold them. -
lang/viv/features/examples/tool-hash.vivThe mean of a vector.
-
lang/viv/features/examples/tool-lint-round.vivviv lint --roundflags a round(...) used as an index, a bound or a size. -
lang/viv/features/examples/tool-lint.vivviv lintflags an integer literal used as a size or a bound. -
lang/viv/features/examples/tool-lsfunc.vivThe mean of a vector.
-
lang/viv/features/examples/tool-lsvar.vivThe mean of a vector.
-
lang/viv/features/examples/tool-py2viv.vivlang python
-
lang/viv/features/examples/tool-run.vivviv run --set steps=8 tool-run.vivreplaces the linesteps = 4before the run. -
lang/viv/features/examples/tool-src.vivThe mean of a vector.
-
lang/viv/features/examples/tool-whatis.vivThe mean of a vector.
-
lang/viv/features/examples/type-annotations.vivtype-annotations
-
lang/viv/features/examples/unpacking.vivunpacking
-
lang/viv/features/examples/user-phrases.vivuser-phrases
-
lang/viv/features/examples/using-every-method.vivusing-every-method
-
lang/viv/features/examples/value-and-grad-over-records.vivvalue-and-grad-over-records
-
lang/viv/features/examples/value-and-grad.vivvalue-and-grad
-
lang/viv/features/examples/view-lenses.vivSquare roots by Newton's method.
-
lang/viv/features/examples/viv-check.vivviv checkruns the checksviv runmakes before it runs, and nothing -
lang/viv/features/examples/while-loops.vivCollatz steps from 27: a while loop, with break and continue.
-
lang/viv/std/builtins.vivBuiltins written in Viv (lang/viv/src/stdlib.rs). A program that calls one
-
lang/viv/std/contracts.vivThe Viv contract library: objective-level solve verbs backed by a sweep of
-
lang/viv/std/groupby.vivGroup-by on Int keys, written in Viv so that every engine runs the same
-
lang/viv/std/phrases.vivWhat a phrase calls that is in neither the builtins nor lang/viv/std/contracts.viv.
-
lang/viv/tests/arrays/numpy_exact.vivGenerated by tools/arrays/numpy_cases.py: do not edit.
-
lang/viv/tests/arrays/numpy_tol.vivGenerated by tools/arrays/numpy_cases.py: do not edit.
-
lang/viv/tests/bytes/cases.vivEvery little-endian reader at every offset of cases.bin; the lines must be
-
lang/viv/tests/figures/aspect.vivA figure-record probe: aspect("equal") makes one unit
-
lang/viv/tests/figures/diagram.vivA diagram: two boxes, an arrow between
-
lang/viv/tests/figures/grid.vivA figure-record probe: grid("title", rows, cols)
-
lang/viv/tests/figures/heatmap.vivA figure-record probe: a heatmap's settings.
-
lang/viv/tests/figures/heatmap_marks.vivA figure-record probe: marks on a heatmap. With a
-
lang/viv/tests/figures/intervals.vivA figure-record probe: fill_between("label", x, lo,
-
lang/viv/tests/figures/log_axes.vivA figure-record probe: xscale("log") and
-
lang/viv/tests/figures/mathtext.vivA figure-record probe: labels with math. A label's
-
lang/viv/tests/figures/nan_gap.vivA figure-record probe: a nan or an inf in an array is
-
lang/viv/tests/figures/precision.vivA figure-record probe: plot, bars and plot2d carry
-
lang/viv/tests/figures/style.vivA figure-record probe: style("label", "words")
-
lang/viv/tests/float32/cases.vivGenerated by tools/float32/cases.py; do not edit.
-
lang/viv/tests/ints/enums.vivEnums, match and optionals in all three engines:
-
lang/viv/tests/ints/python_exact.vivgenerated by tools/ints/python_cases.py; do not edit
-
lang/viv/tests/ints/records.vivRecords, arrays of records, Ints and an enum together, in all three engines:
-
lang/viv/tests/phrases/own.vivA program's own phrases: `phrase ""
-
lang/viv/tests/phrases/phrases.vivGenerated by tools/phrases/cases.py: do not edit. One test per phrase
-
cases
-
Generated by tools/algo/legacy.py from the corpus: do not edit.
-
Generated by tools/algo/legacy.py from the corpus: do not edit.
-
Generated by tools/algo/legacy.py from the corpus: do not edit.
-
Generated by tools/algo/legacy.py from the corpus: do not edit.
-
Generated by tools/algo/legacy.py from the corpus: do not edit.
-
Generated by tools/algo/legacy.py from the corpus: do not edit.
-
Generated by tools/algo/legacy.py from the corpus: do not edit.
-
Generated by tools/algo/legacy.py from the corpus: do not edit.
-
Generated by tools/algo/legacy.py from the corpus: do not edit.
-
order
-
Generated by tools/algo/legacy.py from the corpus: do not edit.
-
Generated by tools/algo/legacy.py from the corpus: do not edit.
-
Generated by tools/algo/legacy.py from the corpus: do not edit.
-
Generated by tools/algo/legacy.py from the corpus: do not edit.
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
Generated by tools/algo/legacy.py from the corpus: do not edit.
-
props
-
Generated by tools/algo/check.py from lib/algo/algo.spec: do not edit.
-
The algebraic Riccati equation, by the Schur method
-
Balanced truncation, or which states a model can do without
-
Every basis set lib/basis has, for a program that picks one at run time
-
A basis set as a table, the record every lib/basis module returns
-
The cc-pVDZ basis set, H through Ar, as a table
-
The cc-pVTZ basis set, H through Ar, as a table
-
The def2-SVP basis set, H through Ar, as a table
-
The def2-TZVP basis set, H through Ar, as a table
-
A basis set by its name, as PySCF spells it
-
The 6-31G basis set, H through Ar, as a table
-
The 6-31G* basis set, H through Ar, as a table
-
The 6-31G** basis set, H through Ar, as a table
-
The STO-3G basis set, H through Ar, as a table
-
post Cart-pole: the dynamics, a step, and the drawing
-
the cart-pole's entry points for Python (vipyr)
-
Substitution, derivatives, expansion, certificates, integrals and roots in lib/cas
-
lib/cas, a computer algebra system written in Viv
-
Phrases with closed forms, each held to the CAS
-
Written by
viv check --phrases: each phrase of the program held to the -
Stage 0's acceptance, the Hermite coefficients by two recurrence orders equal mod p
-
The pion-loop function's derivative by lib/cas
-
Written by
viv check --phrases: each phrase of the program held to the -
Straight-line Viv from CAS expressions, with common subexpressions computed once
-
The derivative table, as the CAS reads it
-
Evaluating a CAS expression in doubles, mod p and in balls
-
Reading an expression written as Viv text into the CAS
-
Phrases as the CAS's first client, each closed form a check
-
Exact rationals and arithmetic mod p, in doubles
-
Printing a CAS expression as Viv and as LaTeX
-
The expression store of lib/cas, one node per distinct expression
-
The code generator: the syntax tree in, RV32IM assembly text out.
-
The compiler driver: C source to assembly, and C source to a finished
-
The lexer: C source text in, a list of tokens out.
-
The parser: tokens in, an abstract syntax tree out.
-
The C corpus of tests/cc compiled by lib/cc and run on lib/rv32's
-
The compiler's tests, step by step, in the order chibicc added features
-
The checks between parsing and code generation.
-
Rigid-body dynamics for a planar chain of links
-
The speedrun's training text
-
The lowest eigenpairs of a symmetric operator, by Lanczos or from its matrix
-
Gate symbols and orthogonal wiring, for drawing a schematic
-
The entry points vipyr calls in lib/gguf
-
Reading a GGUF file, part 1, the header
-
Reading a GGUF file, part 3, ggml's quantized number formats
-
Reading a GGUF file, part 2, the tensor table
-
lib/gguf/header.viv on tests/tiny.gguf, which gguf-py's GGUFWriter wrote
-
lib/gguf/quants.viv on the quantized tensors of tests/tiny.gguf, which hold
-
lib/gguf/tensors.viv on tests/tiny.gguf; the expected values are gguf-py's
-
The GPT of lib/gpt, called from Python
-
A small GPT, written to be read while it runs
-
story_gpt
-
The whole program as a graph, drawn by Viv
-
Layered graph layout
-
Gaussian-basis quantum chemistry, held against PySCF
-
Angular momentum, by McMurchie and Davidson
-
Speeding up the SCF fixed point by DIIS, plain iteration and damping
-
A molecule's integrals, each by its production member
-
What a contracted Cartesian Gaussian is, and how to normalize one
-
The Boys function, four ways, held against mpmath
-
From Cartesian to spherical Gaussians, one shell at a time
-
Excitation energies from the Casida equation
-
The ROHF effective Fock matrix, and why it is not unique
-
Densities, orbital spaces and the SCF error
-
Three symmetric eigensolvers that check each other
-
Storing electron repulsion integrals once per symmetry class
-
Seeded molecules and the transformations the energy must ignore
-
The Boys functions, drawn
-
Overlap and kinetic energy by Gauss-Hermite quadrature
-
Five initial densities for the SCF
-
Hermite tables for McMurchie-Davidson integrals, built bottom-up
-
The Hartree-Fock pipeline with every integral cross-checked
-
Electron repulsion integrals by the Head-Gordon-Pople recurrences
-
The integral stages on one page, what each promises and who checks it
-
Interval arithmetic with outward rounding, and how to check it exactly
-
The Boys function, enclosed
-
Integrals with guaranteed bounds, two ways
-
Sweeping point strategies against a guaranteed enclosure
-
Coulomb and exchange matrices from packed integrals, three ways
-
Direct J and K, from the basis instead of stored integrals
-
Direct J and K, recomputing the integrals instead of storing them
-
Electron repulsion integrals by McMurchie-Davidson, one shell quartet at a time
-
Overlap, kinetic energy and nuclear attraction, one shell pair at a time
-
Electron repulsion integrals on the kernels lib/cas generated
-
McMurchie-Davidson kernels generated by lib/cas, one def per angular-momentum class
-
A molecule from text and a basis name, as PySCF takes them
-
A molecule and its basis, built in Viv
-
The Hartree-Fock options, a record with defaults
-
Four ways to make the AO basis orthonormal
-
Overlap, kinetic and nuclear attraction by the Obara-Saika recurrences
-
Restricted Hartree-Fock, one set of orbitals with two electrons in each
-
Restricted open-shell Hartree-Fock
-
Electron repulsion integrals by Rys quadrature
-
Hartree-Fock from a molecule, in one call
-
The SCF loop every Hartree-Fock method runs
-
Is an SCF solution a minimum? Orbital-rotation stability
-
Sweeping array-valued strategies, and blaming the one that dissents
-
The tests of lib/hf/ao against PySCF's integrals (lib/hfref): a molecule's
-
The tests of lib/hf/boys that compare it with reference data (lib/hfref)
-
The tests of lib/hf/cart2sph that compare it with reference data (lib/hfref)
-
The tests of lib/hf/density that compare it with reference data (lib/hfref)
-
The tests of lib/hf/eigen that compare it with reference data (lib/hfref)
-
The tests of lib/hf/gh_onebody that compare it with reference data (lib/hfref)
-
The tests of lib/hf/guess that compare it with reference data (lib/hfref)
-
The tests of lib/hf/hf that compare it with reference data (lib/hfref)
-
The tests of lib/hf/hgp_eri that compare it with reference data (lib/hfref)
-
The tests of lib/hf/integrals that compare it with reference data (lib/hfref)
-
The tests of lib/hf/jk that compare it with reference data (lib/hfref)
-
The tests of lib/hf/jk_direct that compare the direct J/K member with the
-
The tests of lib/hf/md_direct that compare it with reference data (lib/hfref)
-
The tests of lib/hf/md_eri that compare it with reference data (lib/hfref)
-
The tests of lib/hf/md_onebody that compare it with reference data (lib/hfref)
-
The tests of lib/hf/mdg_eri that hold the generated
-
The tests of lib/hf/mole that need basis tables: the text form against the
-
The tests of lib/hf/orthogonalize that compare it with reference data (lib/hfref)
-
The tests of lib/hf/os_onebody that compare it with reference data (lib/hfref)
-
The tests of lib/hf/rys_eri that compare it with reference data (lib/hfref)
-
The tests of lib/hf/stab that compare it with reference data (lib/hfref)
-
The tests of lib/hf/transform that compare it with reference data (lib/hfref)
-
Moving integrals from Cartesian to spherical functions
-
Unrestricted Hartree-Fock, one set of orbitals per spin
-
The Boys function from mpmath, for lib/hf/boys to be held against
-
NH3, CH4 and N2 in 6-31G*
-
Cartesian to spherical, one shell at a time
-
An H4 chain whose basis is nearly linearly dependent
-
One hydrogen atom, one electron
-
Helium: STO-3G, the bare dication, and cc-pVDZ
-
Hydrogen fluoride in 6-31G*
-
Triplet O2 in 6-31G
-
Triplet O2 in 6-31G*
-
Triplet O2 in STO-3G
-
The OH radical in 6-31G
-
The OH radical in 6-31G*
-
The OH radical in STO-3G
-
Single primitives, up to f, with nothing contracted
-
The PySCF tests a Viv SCF is held to
-
Water in 6-31G: the closed shell, the cation and the triplets
-
Stretched water in 6-31G, where RHF has two states
-
Water in 6-31G*, six Cartesian d functions
-
Water in 6-31G*, five spherical d functions
-
Water in cc-pVDZ, the first general contraction
-
Water in STO-3G, as PySCF has it
-
Water in def2-SVP
-
Water in def2-TZVP, the first f functions
-
The two-dimensional Ising model on an L by L square lattice with periodic
-
An inverse and a reproducible test matrix
-
LOBPCG, the lowest eigenpairs of an operator you can only apply
-
The linear-quadratic regulator, for a system with one input
-
The Lyapunov equation, by Bartels and Stewart
-
enorm and dpmpar from MINPACK
-
Residuals, Jacobians and forward differences driving lmder for vp.optimize
-
MINPACK's lmder, Levenberg-Marquardt least squares with a trust region
-
MINPACK's lmpar, the Levenberg-Marquardt parameter for a trust radius
-
Test problems for least squares, from Moré, Garbow and Hillstrom
-
The Viv port of lmder against the Fortran, on the MINPACK test problems
-
The Moré-Garbow-Hillstrom problems in least_squares' form
-
The Fortran oracle for the MINPACK test problems
-
MINPACK's qrfac, QR factorization with column pivoting
-
MINPACK's qrsolv, the damped least-squares system from a QR factorization
-
The two figures the Read view of lmder's run on Rosenbrock shows beside
-
Osborne 1, a data-fitting problem (33 points, the sum of two decaying
-
Rosenbrock's function from (-1.2, 1), solved by lmder1, to read as a story:
-
What NIST says an atom's energy is
-
The pieces a transformer is made of
-
The backward passes of lib/nn, written by hand
-
Unsigned 32- and 64-bit arithmetic on doubles, for NumPy's generators
-
NumPy's Generator methods, over PCG64
-
NumPy's legacy random functions, over its Mersenne Twister
-
NumPy's Mersenne Twister, word for word
-
NumPy's PCG64 in 16-bit limbs
-
NumPy's SeedSequence, the hash behind default_rng(seed)
-
lib/nprandom against NumPy's own draws
-
The ziggurat tables of NumPy's normal draws
-
The interactions shipped with lib/nuclear/shell, as the text of their files
-
The nuclear shell model in the M scheme
-
Shell-model energies, spins and occupations of a nucleus
-
Variable-order BDF in quasi-constant-step form (orders 1 to 5)
-
What the ODE integrators share
-
Dormand and Prince's explicit 5(4) pair
-
Robertson's stiff kinetics, drawn
-
Dense LU with partial pivoting, factored once and solved many times
-
lib/ode on non-stiff problems, events, dense output and batches
-
The test problems of lib/ode, with exact Jacobians by grad
-
Radau IIA of order 5, after Hairer and Wanner's RADAU5
-
One driver for every method of solving an initial value problem
-
lib/ode against the stiff test set's published reference solutions
-
Four optimizers over one parameter vector
-
A model's parameters as one vector and a table
-
Orthogonalizing a matrix by Newton-Schulz, which is what Muon does
-
The power flow, called from Python
-
Reading a MATPOWER case file
-
N-1 contingency analysis by AC re-solves and DC distribution factors
-
The continuation power flow, a PV curve up to the nose and past it
-
The power flow against MATPOWER's own solution
-
AC and DC power flow by Newton-Raphson, fast-decoupled and DC
-
Reading a PSS/E RAW case
-
Three-phase short-circuit current by IEC 60909
-
Sparse LU with a minimum-degree ordering and threshold pivoting
-
Violations, distribution factors and the transfer limit in a generator-interconnection study
-
The bus admittance matrix
-
The program graph as data
-
Two ways of computing the same integral, raced on random molecules
-
What PySCF says, for Viv to be held against
-
The radial Schrodinger equation, the way dftatom solves it
-
randla's entry points for Python (vipyr)
-
The small dense kernels randla's drivers need
-
Trace estimation by Hutch++, drawn
-
Randomized low-rank approximation by range finder, SVD, Nystrom and RPCholesky
-
Sketch-and-precondition least squares
-
Philox4x32-10, the counter-based generator behind every randla sketch
-
randla's results to 17 digits, for the three-engine comparison
-
Sketching operators, generated from a counter
-
Trace estimation from matrix-vector products by Hutchinson and Hutch++
-
randlc, the NAS Parallel Benchmarks' random number generator
-
Random draws, each one a formula over rand()
-
An RV32IM assembler: assembly text in, the bytes of a memory image out.
-
32-bit words held in Viv's 64-bit Int.
-
An RV32IM simulator: fetch a 32-bit word at pc, decode it into an
-
Assemble a program, load it into a fresh machine and run it: the three
-
The assembler against encodings worked out by hand from the RISC-V
-
riscv-tests rv32ui/add.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/addi.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/and.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/andi.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/auipc.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/beq.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/bge.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/bgeu.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/blt.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/bltu.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/bne.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/jal.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/jalr.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/lb.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/lbu.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/ld_st.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/lh.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/lhu.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/lui.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/lw.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/or.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/ori.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/sb.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/sh.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/simple.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/sll.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/slli.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/slt.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/slti.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/sltiu.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/sltu.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/sra.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/srai.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/srl.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/srli.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/st_ld.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/sub.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/sw.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/xor.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32ui/xori.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32um/div.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32um/divu.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32um/mul.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32um/mulh.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32um/mulhsu.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32um/mulhu.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32um/rem.S, preprocessed by tools/rv32/riscv_tests.py
-
riscv-tests rv32um/remu.S, preprocessed by tools/rv32/riscv_tests.py
-
The trace and the instruction mix of a small program.
-
Watching the simulator run: a record per executed instruction for a
-
One self-consistent field loop for any basis
-
Mixing densities in a self-consistent field
-
The real Schur decomposition, by Householder and Francis
-
Skyrme Hartree-Fock of oxygen-16 on a radial mesh
-
Skyrme Hartree-Fock of a spherical closed-shell nucleus, as a program with
-
Skyrme Hartree-Fock of any spherical closed-shell nucleus
-
Oxygen-16, 8 protons and 8 neutrons filling the 1s and 1p shells, held
-
Sparse matrices in compressed sparse row form
-
The mean and the standard deviation of an array
-
The entry points vp.stats calls
-
Descriptive statistics with stable sums
-
Probability distributions in standard form
-
A probit fit to mtcars, drawn
-
Least squares on NIST's Longley data, drawn
-
The special functions against mpmath, drawn
-
Generalized linear models by iteratively reweighted least squares
-
NIST's certified linear regressions under the digits lens
-
Least squares for linear models and GLMs
-
The special functions under lib/stats's distributions
-
The constants of lib/stats/special.viv's series
-
The singular value decomposition, by one-sided Jacobi
-
A 1D1V Vlasov-Poisson solver for electrons on a fixed ion background, and
-
Atoms from XYZ text
-
The Faddeeva function and the plasma dispersion function
-
pde The advection equation
-
pde The Black-Scholes equation
-
pde A shock and a rarefaction in inviscid Burgers' equation
-
pde Burgers' equation, viscous
-
pde The modes of a drum, a Helmholtz eigenproblem
-
pde The Euler equations of gas dynamics
-
pde The Fisher-KPP equation
-
pde The heat equation
-
pde The heat equation in two dimensions
-
pde The Korteweg-de Vries equation
-
pde Laplace's equation
-
pde The nonlinear Schrödinger equation
-
pde Poisson's equation
-
pde The time-dependent Schrödinger equation
-
pde The wave equation
-
plasma/k04.vivk lambda_D = 0.4, damped less than half as fast as 0.5. Exact root:
-
plasma/k05.vivThe Canosa point, k lambda_D = 0.5: the Landau benchmark of Cheng and Knorr
-
plasma/landau.vivLandau damping of a Langmuir wave, by the Vlasov-Poisson solver in lib/vlasov.
-
plasma/landau_check.vivWhat a Landau run must reproduce: the exact root and the conservation laws.
-
ports/dftatom/atom.vivatom
-
ports/dftatom/dftatom.vivdftatom
-
ports/dftatom/states.vivDerived from dftatom src/states.f90 (get_atomic_states_nonrel and
-
ports/dftatom/tests.vivTests of ports/dftatom/dftatom.viv: upstream's own radial-solver tests
-
ports/liquids/analysis.vivanalysis
-
ports/liquids/averages.vivaverages
-
ports/liquids/diffusion.vivdiffusion
-
ports/liquids/eos.viveos
-
ports/liquids/eos_lj.viveos_lj
-
ports/liquids/error_calc.viverror_calc
-
ports/liquids/lj.vivlj
-
ports/liquids/mc_npt.vivmc_npt
-
ports/liquids/mc_nvt.vivmc_nvt
-
ports/liquids/md_nve.vivmd_nve
-
ports/liquids/md_nvt.vivmd_nvt
-
ports/liquids/pair_distribution.vivpair_distribution
-
ports/liquids/setup.vivsetup
-
ports/liquids/tests/engines.vivengines
-
Forward Euler loses the planet
-
The Gibbs overshoot never shrinks
-
The logistic map at r = 4 has Lyapunov exponent ln 2
-
Which root does Newton's method find?
-
How far a finite-difference Hamiltonian's levels sit below n + 1/2
-
Pi from escape counts at the cusp of the Mandelbrot set
-
The Runge phenomenon, where more points give a worse fit
-
The eigenvalues of a random matrix fill Wigner's semicircle
-
Building a four-bit adder out of NAND gates
-
A cart-pole, balanced by a PD controller
-
Compound interest
-
Doubling time
-
LQR computes the cart-pole's gains from the Riccati equation
-
A Lennard-Jones liquid by molecular dynamics in two dimensions
-
Solve the quadratic
-
Building the derivative from its definition
-
The geometric series adds up
-
The quadratic formula, applied
-
The quadratic formula, derived
-
Two lines cross
-
A swing-up policy trained offline
-
A transformer trained with Muon
-
Solving the Riccati equation without integrating it
-
The tension in each of two ropes holding up a box
-
Doubling time breaks at tiny rates and at negative ones
-
Doubling time, fixed for tiny and negative rates
-
Hartree-Fock for water
Check PySCF 2.5.0
-
LOBPCG finds the lowest states of a particle in a box
-
Muon orthogonalizes the update
-
Newton's method doubles the correct digits
-
The rule of 72 against the rule of 70
-
Two methods compute water's 6-31G integrals
-
A random walk spreads as 2Dt and turns Gaussian
-
BFGS against gradient descent on the Rosenbrock valley
-
Black-Scholes by Monte Carlo, against the closed form
-
Burgers' equation in nonconservative form puts the shock in the wrong place
-
Excitation energies of water from the Casida equation, with and without de-excitations
-
The double scroll of Chua's circuit
-
Crank-Nicolson is second order in time, backward Euler first
-
Electron mobility fitted to NIST's certified digits
Check NIST's certified values
-
Forward and backward Euler on either side of h = 2/λ
-
Gauss-Legendre quadrature against tanh-sinh on a smooth and a singular integral
-
Grad-Shafranov by finite differences, against Solov'ev's closed form
-
Graphene's Dirac cones
-
RHF, UHF and full CI for H₂ in STO-3G along the bond
-
The Hasegawa-Wakatani drift-wave model
-
Jacobi's eigenvalue method
-
Jacobi, SOR and conjugate gradients on the Poisson equation
-
Three floating-point failures in summation, cancellation and RANDU
-
Kinetic Monte Carlo against the master equation
-
Lanczos finds the largest eigenvalue three times
-
Landau damping from the root of the dispersion relation
Check a 30-digit mpmath root
-
Make Euler stable on a stiff equation
-
Make Gram-Schmidt orthogonal to rounding
-
Make Numerov find the decaying solution
-
Make power iteration converge on a tied pair
-
Make the heat-equation step stable past r = 1/2
-
Metropolis sampling finds Onsager's magnetization
Check Onsager and Yang's exact magnetization
-
Nuclear level density, by counting the states
-
Neutron pairing in a neutron-star crust
-
Silicon's band structure, from the crystal up
-
Skyrme Hartree-Fock of oxygen-16
Check skyrme_rpa, Colò et al. (2013)
-
A gyro-orbit and the E×B drift by the Boris push
-
The error of a linear solve follows the condition number
-
A star of free neutrons can weigh at most 0.71 suns
-
The two-pion loop function, built and differentiated by a small computer algebra system
-
Tunneling through one and two barriers by transfer matrices
-
The bounce period of an electron trapped in a plasma wave
-
The two-stream instability in a particle-in-cell code
-
Upwind advection smears the pulse by its modified equation
-
Finite differences and spectral methods
-
python/tests/frames_fx.vivframes_fx
-
scf/coverage.vivCoverage: which strategy has been checked on which class of input.
-
scf/iv_bridge.vivWater STO-3G integrals, enclosed and swept
-
scf/legacy_bridge.vivThe bridge to the legacy integral code, lib/gto_md.
-
scf/lock_631gs.vivThe first polarization functions: water and hydrogen fluoride in 6-31G*,
-
scf/lock_breadth.vivThe breadth set: ammonia, methane and nitrogen in 6-31G*, 6D and 5D.
-
scf/lock_ccpvdz.vivWater in the larger bases: cc-pVDZ and def2-SVP (d functions on oxygen
-
scf/lock_open.vivOpen shells on computed integrals: OH and O2 in 6-31G*, UHF and ROHF, each
-
scf/lock_water.vivThe bottom of the lock ladder: water in STO-3G and 6-31G, from the basis
-
scf/meta_integrals.vivMetamorphic checks on the integrals, over random bases (seeds 1 to 32).
-
scf/meta_scf.vivMetamorphic checks on the SCF, over random molecules (seeds 1 to 32).
-
scf/molecule_packs.vivThe molecules of the lock ladder, built in Viv from the basis tables of
-
scf/molecule_text.vivThe string form of a molecule (lib/hf/mole) against the array form
-
scf/stability.vivWhich SCF solution is the minimum? Stability locks on reference integrals
-
scf/story_casida.vivThe excitation energies of water in 6-31G, as a story: the RHF ground
-
scf/story_water.vivOne Hartree-Fock run to read as a story: water in 6-31G, from the
-
scf/suite/ghost_intor.vivPySCF rows on molecules lib/hfref does not carry: water with a ghost
-
scf/suite/h2o.vivPySCF's test_h2o.py replayed: water in 6-31G, closed shell (RHF and UHF),
-
scf/suite/n2.vivPySCF's N2 rows (test_rhf.py and test_uhf.py, the module molecule
-
scf/suite/native/bz.vivPySCF's test_bz.py:56 replayed natively: benzene in cc-pVDZ, 114 spherical
-
scf/suite/ref/stb.vivBasis packs for the PySCF suite replay
-
scf/suite/ref/sts.vivSupport for the PySCF suite replay
-
scf/suite/small.vivPySCF's small cases replayed: the one- and two-electron atoms of
-
scf/suite/states.vivPySCF's tests that ask which state an SCF lands on, replayed: the
-
scf/suite/vdz_direct_r.vivPySCF's max_memory=0 RHF rows for water cc-pVDZ (test_h2o_vdz.py:98 and
-
scf/suite/vdz_direct_ro.vivPySCF's max_memory=0 ROHF row for water cc-pVDZ (test_rhf.py:701): the
-
scf/suite/vdz_direct_u.vivPySCF's max_memory=0 UHF rows for water cc-pVDZ (test_h2o_vdz.py:104 and
-
scf/suite/vdz_mats.vivPySCF's rows that push a random matrix through the water cc-pVDZ integrals
-
scf/suite/vdz_open.vivPySCF's open-shell water cc-pVDZ rows (test_h2o_vdz.py, test_rhf.py and
-
scf/suite/vdz_rhf.vivPySCF's water cc-pVDZ RHF rows replayed (test_h2o_vdz.py and test_rhf.py):
-
scf/suite/vdz_uhf.vivPySCF's closed-shell UHF rows for water cc-pVDZ (test_h2o_vdz.py and
-
scf/suite/veff.vivPySCF's get_veff rows on a stack of random densities (test_rhf.py:469 and
-
show/cartpole_lqr.vivA cart-pole held upright by LQR
Check SciPy's solve_continuous_are
-
show/robertson.vivRobertson's stiff kinetics over sixteen decades of time
Check the Bari IVP test set
-
show/sd_shell.vivThe lowest states of neon-20 in the sd-shell model
Check BIGSTICK
-
stat/ising/ising_mc.vivising_mc
-
study/benchmarks/viv/bg/fannkuchredux.vivThe Computer Language Benchmarks Game: fannkuch-redux.
-
study/benchmarks/viv/bg/fasta.vivThe Computer Language Benchmarks Game: fasta.
-
study/benchmarks/viv/bg/knucleotide.vivThe Computer Language Benchmarks Game: k-nucleotide.
-
study/benchmarks/viv/bg/nbody.vivThe Computer Language Benchmarks Game: n-body.
-
study/benchmarks/viv/bg/revcomp.vivThe Computer Language Benchmarks Game: reverse-complement.
-
study/benchmarks/viv/bg/spectralnorm.vivThe Computer Language Benchmarks Game: spectral-norm.
-
study/benchmarks/viv/figure/ratios.vivThe benchmark ratio figure, drawn by Viv: each benchmark's Viv time over the
-
study/benchmarks/viv/micro/fib.vivMicrobenchmarks: recursion_fibonacci. Reference: upstream/Microbenchmarks/julia/perf.jl
-
study/benchmarks/viv/micro/mandelbrot.vivMicrobenchmarks: userfunc_mandelbrot. Reference: upstream/Microbenchmarks/julia/perf.jl
-
study/benchmarks/viv/micro/parse_integers.vivMicrobenchmarks: parse_integers. Reference: upstream/Microbenchmarks/julia/perf.jl
-
study/benchmarks/viv/micro/pi_sum.vivMicrobenchmarks: iteration_pi_sum. Reference: upstream/Microbenchmarks/julia/perf.jl
-
study/benchmarks/viv/micro/print_to_file.vivMicrobenchmarks: print_to_file. Reference: upstream/Microbenchmarks/julia/perf.jl
-
study/benchmarks/viv/micro/quicksort.vivMicrobenchmarks: recursion_quicksort. Reference: upstream/Microbenchmarks/julia/perf.jl
-
study/benchmarks/viv/micro/rand_mat_mul.vivMicrobenchmarks: matrix_multiply. Reference: upstream/Microbenchmarks/julia/perf.jl
-
study/benchmarks/viv/micro/rand_mat_stat.vivMicrobenchmarks: matrix_statistics. Reference: upstream/Microbenchmarks/julia/perf.jl
-
study/benchmarks/viv/nas/cg.vivNPB CG, conjugate gradient on a random sparse matrix
-
study/benchmarks/viv/nas/ep.vivNPB EP, the embarrassingly parallel kernel
-
study/benchmarks/viv/nas/ep_par.vivNPB EP on threads: the batches as a parallel for
-
study/benchmarks/viv/nas/ft.vivNPB FT, a 3-D heat equation solved by FFT
-
study/benchmarks/viv/nas/is.vivNPB IS, integer sort by bucketed counting
-
study/benchmarks/viv/nas/mg.vivNPB MG, a V-cycle multigrid solve of a 3-D Poisson problem
-
study/benchmarks/viv/nas/mg_par.vivNPB MG on threads: the smoother and the residual as parallel loops
-
study/benchmarks/viv/npb/arc_distance.vivarc_distance
-
study/benchmarks/viv/npb/create_grid.vivcreate_grid
-
study/benchmarks/viv/npb/diffusion.vivdiffusion
-
study/benchmarks/viv/npb/euclidean_distance_square.viveuclidean_distance_square
-
study/benchmarks/viv/npb/evolve.vivevolve
-
study/benchmarks/viv/npb/grouping.vivgrouping
-
study/benchmarks/viv/npb/harris.vivharris
-
study/benchmarks/viv/npb/hasting.vivhasting
-
study/benchmarks/viv/npb/l1norm.vivl1norm
-
study/benchmarks/viv/npb/l2norm.vivl2norm
-
study/benchmarks/viv/npb/laplacien.vivlaplacien
-
study/benchmarks/viv/npb/log_likelihood.vivlog_likelihood
-
study/benchmarks/viv/npb/multiple_sum.vivmultiple_sum
-
study/benchmarks/viv/npb/pairwise.vivpairwise
-
study/benchmarks/viv/npb/reverse_cumsum.vivreverse_cumsum
-
study/benchmarks/viv/npb/rosen.vivrosen
-
study/benchmarks/viv/npb/slowparts.vivslowparts
-
study/benchmarks/viv/npb/specialconvolve.vivspecialconvolve
-
study/benchmarks/viv/npb/vibr_energy.vivvibr_energy
-
study/benchmarks/viv/npb/wdist.vivwdist
-
study/benchmarks/viv/polybench/2mm.vivtiming
-
study/benchmarks/viv/polybench/3mm.vivtiming
-
study/benchmarks/viv/polybench/adi.vivtiming
-
study/benchmarks/viv/polybench/atax.vivtiming
-
study/benchmarks/viv/polybench/bicg.vivtiming
-
study/benchmarks/viv/polybench/cholesky.vivtiming
-
study/benchmarks/viv/polybench/correlation.vivtiming
-
study/benchmarks/viv/polybench/covariance.vivtiming
-
study/benchmarks/viv/polybench/deriche.vivtiming
-
study/benchmarks/viv/polybench/doitgen.vivtiming
-
study/benchmarks/viv/polybench/durbin.vivtiming
-
study/benchmarks/viv/polybench/fdtd-2d.vivtiming
-
study/benchmarks/viv/polybench/floyd-warshall.vivtiming
-
study/benchmarks/viv/polybench/gemm.vivtiming
-
study/benchmarks/viv/polybench/gemver.vivtiming
-
study/benchmarks/viv/polybench/gesummv.vivtiming
-
study/benchmarks/viv/polybench/gramschmidt.vivtiming
-
study/benchmarks/viv/polybench/heat-3d.vivtiming
-
study/benchmarks/viv/polybench/jacobi-1d.vivtiming
-
study/benchmarks/viv/polybench/jacobi-2d.vivtiming
-
study/benchmarks/viv/polybench/lu.vivtiming
-
study/benchmarks/viv/polybench/ludcmp.vivtiming
-
study/benchmarks/viv/polybench/mvt.vivtiming
-
study/benchmarks/viv/polybench/nussinov.vivtiming
-
study/benchmarks/viv/polybench/polybench.vivWhat every PolyBench port shares: printing an output array the way
-
study/benchmarks/viv/polybench/seidel-2d.vivtiming
-
study/benchmarks/viv/polybench/symm.vivtiming
-
study/benchmarks/viv/polybench/syr2k.vivtiming
-
study/benchmarks/viv/polybench/syrk.vivtiming
-
study/benchmarks/viv/polybench/trisolv.vivtiming
-
study/benchmarks/viv/polybench/trmm.vivtiming
-
study/compare/autodiff/gradient.viv@@ imports
-
study/compare/basics/arithmetic.viv@@ imports
-
study/compare/basics/functions.viv@@ a function with a default argument
-
study/compare/basics/loops.viv@@ a count from zero
-
study/compare/basics/printing.viv@@ print text and values
-
study/compare/errors/checked.viv@@ a function that can fail
-
study/compare/files/read_write.viv@@ imports
-
study/compare/lists/growable.viv@@ start empty and append
-
study/compare/lists/slicing.viv@@ imports
-
study/compare/lists/sorting.viv@@ a sorted copy
-
study/compare/maps/counting.viv@@ count the sums of two dice
-
study/compare/maps/word_freq.viv@@ the text
-
study/compare/ml/tiny_gpt.phrased.viv@@ imports
-
study/compare/ml/tiny_gpt.viv@@ imports
-
study/compare/ml/tiny_gpt_torch.viv@@ imports
-
study/compare/numerics/bisection.viv@@ bisection: halve the bracket until it is small
-
study/compare/numerics/euler_vs_exact.viv@@ imports
-
study/compare/numerics/jacobi.viv@@ imports
-
study/compare/numerics/lu_solve.viv@@ imports
-
study/compare/numerics/matrix_ops.viv@@ imports
-
study/compare/numerics/newton.viv@@ imports and constants
-
study/compare/numerics/power_iteration.viv@@ imports
-
study/compare/numerics/rk4.viv@@ imports
-
study/compare/numerics/simpson.viv@@ imports
-
study/compare/plotting/damped.viv@@ imports
-
study/compare/random/seeded.viv@@ imports
-
study/compare/records/records.viv@@ imports
-
study/compare/records/state.viv@@ a type that holds state
-
study/compare/records/tuples.viv@@ return several values
-
study/compare/recursion/factorial.viv@@ recursive
-
study/compare/recursion/fib_memo.viv@@ plain recursion
-
study/compare/recursion/hanoi.viv@@ move n disks from one peg to another
-
study/compare/recursion/merge_sort.viv@@ merge two sorted lists
-
study/compare/recursion/quicksort.viv@@ partition around the last element
-
study/compare/strings/caesar.viv@@ shift one letter
-
study/compare/strings/palindrome.viv@@ keep letters and digits, in lower case
-
study/compare/strings/parse_numbers.viv@@ the input, one reading per line
-
study/compare/strings/text_basics.viv@@ a string and its pieces
-
study/compare/strings/word_count.viv@@ the text
-
study/compare/tests/test_blocks.viv@@ imports
-
study/dataframe/dfq.vivDataframe benchmark kernels: H2O groupby q1-q5, TPC-H Q1/Q6, one join.
-
study/idioms/autodiff-probes/arrays.vivarrays
-
study/idioms/autodiff-probes/axes.vivaxes
-
study/idioms/autodiff-probes/calls.vivcalls
-
study/idioms/autodiff-probes/scalar.vivscalar
-
study/idioms/cleanrl-ppo/hand/backward.vivbackward
-
study/idioms/cleanrl-ppo/ppo.vivPPO on CartPole, after CleanRL's ppo.py
-
study/idioms/cleanrl-ppo/ppo_ad.vivPPO on CartPole, after CleanRL's ppo.py
-
study/idioms/cleanrl-ppo/probe/p1.vivp1
-
study/idioms/cleanrl-ppo/probe/p2.vivp2
-
study/idioms/cleanrl-ppo/probe/p3.vivp3
-
study/idioms/cleanrl-ppo/probe/p4.vivp4
-
study/idioms/cleanrl-ppo/probe/p5.vivp5
-
study/idioms/cleanrl-ppo/probe/p6.vivp6
-
study/idioms/cleanrl-ppo/probe/p7.vivp7
-
study/idioms/cleanrl-ppo/probe/p8.vivp8
-
study/idioms/cnn/cnn.vivA convolutional network on the 8x8 digits, forward and backward
-
study/idioms/cnn/cnn_ad.vivA convolutional network on the 8x8 digits, forward and backward
-
study/idioms/cnn/digits.vivGENERATED by ref.py; do not edit.
-
study/idioms/cnn/hand/backward.vivbackward
-
study/idioms/cnn/probe/bcast.vivbcast
-
study/idioms/cnn/probe/compound.vivcompound
-
study/idioms/cnn/probe/copyout.vivcopyout
-
study/idioms/cnn/probe/fmt.vivfmt
-
study/idioms/cnn/probe/lit.vivlit
-
study/idioms/cnn/probe/ones.vivones
-
study/idioms/cnn/probe/outparam.vivoutparam
-
study/idioms/cnn/probe/precision.vivprecision
-
study/idioms/cnn/probe/r4.vivr4
-
study/idioms/cnn/probe/range_step.vivrange_step
-
study/idioms/cnn/probe/reshape.vivreshape
-
study/idioms/cnn/probe/rowidx.vivrowidx
-
study/idioms/cnn/probe/shape2.vivshape2
-
study/idioms/cnn/probe/slice.vivslice
-
study/idioms/cnn/probe/sumaxis.vivsumaxis
-
study/idioms/cnn/probe/tuple.vivtuple
-
study/idioms/cnn/probe/where.vivwhere
-
study/idioms/ddpm/ddpm.vivA denoising diffusion model learns a swiss roll
-
study/idioms/ddpm/ddpm_ad.vivA denoising diffusion model learns a swiss roll
-
study/idioms/ddpm/ddpm_ref.vivGENERATED by ref.py — do not edit
-
study/idioms/ddpm/hand/backward.vivbackward
-
study/idioms/ddpm/probe/mod.vivmod
-
study/idioms/ddpm/probe/p1.vivp1
-
study/idioms/ddpm/probe/p10.vivp10
-
study/idioms/ddpm/probe/p11.vivp11
-
study/idioms/ddpm/probe/p2.vivp2
-
study/idioms/ddpm/probe/p3.vivp3
-
study/idioms/ddpm/probe/p4.vivp4
-
study/idioms/ddpm/probe/p5.vivp5
-
study/idioms/ddpm/probe/p6.vivp6
-
study/idioms/ddpm/probe/p7.vivp7
-
study/idioms/ddpm/probe/p8.vivp8
-
study/idioms/ddpm/probe/p9.vivp9
-
study/idioms/julia-idioms/dispatch.vivDual numbers and shapes: two multiple-dispatch examples
-
study/idioms/julia-idioms/kmeans.vivk-means from TheAlgorithms/Julia
-
study/idioms/julia-idioms/linalg.vivLU, determinant and Gauss-Jordan from TheAlgorithms/Julia
-
study/idioms/julia-idioms/linreg.vivLinear regression by gradient descent, from TheAlgorithms/Julia
-
study/idioms/julia-idioms/lorenz.vivThe Lorenz system, SciML style
-
study/idioms/julia-idioms/numtheory.vivSieve, Collatz, prime factors and Catalan numbers from TheAlgorithms/Julia
-
study/idioms/julia-idioms/odes.vivThree ODE steppers from TheAlgorithms/Julia (RK4, Euler, Verlet)
-
study/idioms/julia-idioms/probe/adjoint.vivadjoint
-
study/idioms/julia-idioms/probe/array_eq.vivarray_eq
-
study/idioms/julia-idioms/probe/backslash.vivbackslash
-
study/idioms/julia-idioms/probe/caret_pow.vivcaret_pow
-
study/idioms/julia-idioms/probe/default_arg.vivdefault_arg
-
study/idioms/julia-idioms/probe/deriv_inline.vivderiv_inline
-
study/idioms/julia-idioms/probe/deriv_param.vivderiv_param
-
study/idioms/julia-idioms/probe/deriv_through_def.vivderiv_through_def
-
study/idioms/julia-idioms/probe/dot_assign.vivdot_assign
-
study/idioms/julia-idioms/probe/dot_ops.vivdot_ops
-
study/idioms/julia-idioms/probe/elem_pluseq.vivelem_pluseq
-
study/idioms/julia-idioms/probe/empty.vivempty
-
study/idioms/julia-idioms/probe/error_call.viverror_call
-
study/idioms/julia-idioms/probe/error_unchecked_branch.viverror_unchecked_branch
-
study/idioms/julia-idioms/probe/for_in.vivfor_in
-
study/idioms/julia-idioms/probe/if_expr.vivcomment with θ and Δₓ
-
study/idioms/julia-idioms/probe/intdiv.vivintdiv
-
study/idioms/julia-idioms/probe/juxtaposition.vivjuxtaposition
-
study/idioms/julia-idioms/probe/kwarg.vivkwarg
-
study/idioms/julia-idioms/probe/lin_solve_transpose.vivlin_solve_transpose
-
study/idioms/julia-idioms/probe/rebind.vivrebind
-
study/idioms/julia-idioms/probe/record_interp.vivrecord_interp
-
study/idioms/julia-idioms/probe/size.vivsize
-
study/idioms/julia-idioms/probe/slice.vivslice
-
study/idioms/julia-idioms/probe/sort_aliases.vivsort_aliases
-
study/idioms/julia-idioms/probe/tuple_destructure.vivtuple_destructure
-
study/idioms/julia-idioms/probe/twostmts.vivtwostmts
-
study/idioms/julia-idioms/probe/unicode_ident.vivunicode_ident
-
study/idioms/julia-idioms/probe/win_broadcast.vivwin_broadcast
-
study/idioms/julia-idioms/probe/win_closure.vivwin_closure
-
study/idioms/julia-idioms/probe/win_generic_def.vivwin_generic_def
-
study/idioms/julia-idioms/probe/win_inplace_param.vivwin_inplace_param
-
study/idioms/julia-idioms/quad.vivFour quadratures from TheAlgorithms/Julia
-
study/idioms/julia-idioms/ref_values.vivGENERATED by ref.jl — do not edit. Reference values, one global each.
-
study/idioms/julia-idioms/stats.vivSmall statistics and array routines from TheAlgorithms/Julia
-
study/idioms/makemore/hand/backward.vivbackward
-
study/idioms/makemore/makemore.vivmakemore
-
study/idioms/makemore/makemore_ad.vivmakemore_ad
-
study/idioms/makemore/names_subset.vivnames_subset
-
study/idioms/micrograd/hand/engine.vivengine
-
study/idioms/micrograd/micrograd.vivmicrograd in Viv: a scalar autograd engine and a small MLP on the moons
-
study/idioms/micrograd/micrograd_ad.vivmicrograd in Viv, with the gradient from value_and_grad
-
study/idioms/micrograd/moons.vivGENERATED by ref.py from karpathy/micrograd; do not edit.
-
study/idioms/micrograd/probe/dat.vivdat
-
study/idioms/micrograd/probe/p1.vivp1
-
study/idioms/micrograd/probe/p10.vivp10
-
study/idioms/micrograd/probe/p11.vivp11
-
study/idioms/micrograd/probe/p12.vivp12
-
study/idioms/micrograd/probe/p13.vivp13
-
study/idioms/micrograd/probe/p2.vivp2
-
study/idioms/micrograd/probe/p3.vivp3
-
study/idioms/micrograd/probe/p4.vivp4
-
study/idioms/micrograd/probe/p5.vivp5
-
study/idioms/micrograd/probe/p6.vivp6
-
study/idioms/micrograd/probe/p7.vivp7
-
study/idioms/micrograd/probe/p8.vivp8
-
study/idioms/micrograd/probe/p9.vivp9
-
study/idioms/nanogpt-speedrun/check.vivThe speedrun port, checked against PyTorch
-
study/idioms/nanogpt-speedrun/check_ad.vivThe speedrun port with its gradient from value_and_grad, checked against PyTorch
-
study/idioms/nanogpt-speedrun/gpt.vivThe modded-nanogpt speedrun's model and optimizer, at toy size
-
study/idioms/nanogpt-speedrun/gpt_ad.vivThe modded-nanogpt speedrun's model and optimizer, at toy size
-
study/idioms/nanogpt-speedrun/hand/backward.vivbackward
-
study/idioms/nanogpt-speedrun/text.vivtext
-
study/idioms/nanogpt-speedrun/train.vivTraining the speedrun's model on a paragraph of Dickens
-
study/idioms/nanogpt-speedrun/train_ad.vivTraining the speedrun's model on a paragraph of Dickens
-
study/idioms/syntax-probes/complex_division.vivcomplex_division
-
study/idioms/syntax-probes/def_shadows_builtin.vivdef_shadows_builtin
-
study/idioms/syntax-probes/deriv_own_def.vivderiv_own_def
-
study/idioms/syntax-probes/eig_sym_ties.viveig_sym_ties
-
study/idioms/syntax-probes/for_bound.vivfor_bound
-
study/idioms/syntax-probes/for_range.vivfor_range
-
study/idioms/syntax-probes/growable.vivgrowable
-
study/idioms/syntax-probes/index_compound.vivindex_compound
-
study/idioms/syntax-probes/infer_callee_in_def.vivinfer_callee_in_def
-
study/idioms/syntax-probes/infer_complex_late.vivinfer_complex_late
-
study/idioms/syntax-probes/infer_pow_of_def_result.vivinfer_pow_of_def_result
-
study/idioms/syntax-probes/maps.vivmaps
-
study/idioms/syntax-probes/print_fmt.vivprint_fmt
-
study/idioms/syntax-probes/records.vivrecords
-
study/idioms/syntax-probes/recursion_depth.vivrecursion_depth
-
study/idioms/syntax-probes/rule_test_holes.vivrule_test_holes
-
study/idioms/syntax-probes/show_tie.vivshow_tie
-
study/idioms/syntax-probes/slices.vivslices
-
study/idioms/syntax-probes/sort_order.vivsort_order
-
study/idioms/syntax-probes/strings.vivstrings
-
study/idioms/syntax-probes/tuples.vivtuples
-
study/idioms/syntax-probes/unicode_ident.vivunicode_ident
-
study/idioms/thealgorithms-python/backtracking.vivbacktracking
-
study/idioms/thealgorithms-python/dp.vivdp
-
study/idioms/thealgorithms-python/graphs.vivgraphs
-
study/idioms/thealgorithms-python/maths.vivmaths
-
study/idioms/thealgorithms-python/probe/and_evaluates_both.vivwhile j >= 0 and a[j] > key — the insertion-sort guard
-
study/idioms/thealgorithms-python/probe/array_equality.vivarray_equality
-
study/idioms/thealgorithms-python/probe/big_integers.vivPython: 11 ** 13 == 34522712143931 and 2 ** 53 + 1 == 9007199254740993
-
study/idioms/thealgorithms-python/probe/bool_array.vivbool_array
-
study/idioms/thealgorithms-python/probe/closure_capture.vivclosure_capture
-
study/idioms/thealgorithms-python/probe/deep_recursion.vivdeep_recursion
-
study/idioms/thealgorithms-python/probe/elem_compound.vivelem_compound
-
study/idioms/thealgorithms-python/probe/empty_string.vivempty_string
-
study/idioms/thealgorithms-python/probe/fmod_sign.vivPython: -7 % 3 == 2, 7 % -3 == -2, -7 // 2 == -4
-
study/idioms/thealgorithms-python/probe/gcd_with_fmod.vivgcd_with_fmod
-
study/idioms/thealgorithms-python/probe/nested_def.vivnested_def
-
study/idioms/thealgorithms-python/probe/print_array.vivprint_array
-
study/idioms/thealgorithms-python/probe/ragged_list.vivPython: adjacency = [[1, 2], [3], []]
-
study/idioms/thealgorithms-python/probe/record_array.vivrecord_array
-
study/idioms/thealgorithms-python/probe/records.vivrecords
-
study/idioms/thealgorithms-python/probe/slice_syntax.vivslice_syntax
-
study/idioms/thealgorithms-python/probe/string_value.vivstring_value
-
study/idioms/thealgorithms-python/probe/tuple_return.vivtuple_return
-
study/idioms/thealgorithms-python/probe/use_line_number.vivuse_line_number
-
study/idioms/thealgorithms-python/probe/use_line_runtime.vivuse_line_runtime
-
study/idioms/thealgorithms-python/seq.vivseq
-
study/idioms/thealgorithms-python/sorting.vivsorting
-
study/idioms/thealgorithms-python/strings.vivstrings
-
study/idioms/thealgorithms-python/structures.vivstructures
-
study/memcheck/adversarial/alias_then_append.vivAn alias taken before a growing append: the alias must keep the old array.
-
study/memcheck/adversarial/continue_break.vivcontinue_break
-
study/memcheck/adversarial/early_return_record.vivearly_return_record
-
study/memcheck/adversarial/record_array_in_def.vivA def that grows an array of records, writes into it in a loop and returns
-
study/memcheck/adversarial/record_copy_write.vivCopies of a record that holds an array of records, each changed through
-
study/memcheck/adversarial/record_field_writes.vivWrites into a model's fields and its array of records, every pass of a
-
study/memcheck/adversarial/record_nested_loop.vivA record holding a record holding an array, rebuilt in a nested loop.
-
study/memcheck/adversarial/strings_list_loop.vivA list of strings grown in a loop, and a string kept across iterations.
-
study/memcheck/adversarial/tuple_in_loop.vivA def returning two arrays, unpacked in a loop; the arrays must survive.
-
study/memcheck/adversarial/while_cond_allocates.vivA
whilewhose condition allocates and whose body does not. -
study/memcheck/parallel/alloc_in_body.vivThe body calls a def returning an array: on a worker thread it lands on that
-
study/memcheck/parallel/alloc_in_body_def.vivThe same parallel loop inside a def, and the def called NITER times: the def's
-
study/memcheck/parallel/disjoint_ok.vivThe allowed shape: iteration i writes a[i] only.
-
study/memcheck/parallel/race_neighbor.vivIteration i reads the element iteration i + 1 writes.
-
study/memcheck/parallel/race_same_cell.vivEvery iteration writes the same element: a data race under OpenMP.
-
study/memcheck/parallel/race_through_def.vivThe write happens inside a def the loop calls.
-
study/memcheck/release/far_index.vivAn index far outside the array (a computed index gone wrong).
-
study/memcheck/release/negative_index.vivWrites a[-1] (0 - 1: Viv has no negative indices on arrays).
-
study/memcheck/release/read_past_end.vivReads one element past the end of an array.
-
study/memcheck/release/write_past_end.vivWrites one element past the end of a, then prints b, allocated next.
-
study/memcheck/release/wrong_rank.vivA 2 x 3 array read with one index past its size.
-
study/ports/pyscf/viv/benzene_ccpvdz.vivverification: RHF cc-pvdz, benzene_ccpvdz, 114 AOs.
-
study/ports/pyscf/viv/benzene_ccpvdz_0.vivbaseline: RHF cc-pvdz, benzene_ccpvdz, 114 AOs.
-
study/ports/pyscf/viv/benzene_ccpvdz_t.vivtiming: RHF cc-pvdz, benzene_ccpvdz, 114 AOs.
-
study/ports/pyscf/viv/pzcheck.vivChecking a Hartree-Fock run against PySCF's numbers
-
study/ports/pyscf/viv/water1_631gs.vivverification: RHF 6-31g*, water1_631gs, 18 AOs.
-
study/ports/pyscf/viv/water1_631gs_0.vivbaseline: RHF 6-31g*, water1_631gs, 18 AOs.
-
study/ports/pyscf/viv/water1_631gs_t.vivtiming: RHF 6-31g*, water1_631gs, 18 AOs.
-
study/ports/pyscf/viv/water2_631gs.vivverification: RHF 6-31g*, water2_631gs, 36 AOs.
-
study/ports/pyscf/viv/water2_631gs_0.vivbaseline: RHF 6-31g*, water2_631gs, 36 AOs.
-
study/ports/pyscf/viv/water2_631gs_t.vivtiming: RHF 6-31g*, water2_631gs, 36 AOs.
-
study/ports/pyscf/viv/water4_631gs.vivverification: RHF 6-31g*, water4_631gs, 72 AOs.
-
study/ports/pyscf/viv/water4_631gs_0.vivbaseline: RHF 6-31g*, water4_631gs, 72 AOs.
-
study/ports/pyscf/viv/water4_631gs_t.vivtiming: RHF 6-31g*, water4_631gs, 72 AOs.
-
study/ports/pyscf/viv/water8_631gs.vivverification: RHF 6-31g*, water8_631gs, 144 AOs.
-
study/ports/pyscf/viv/water8_631gs_0.vivbaseline: RHF 6-31g*, water8_631gs, 144 AOs.
-
study/ports/pyscf/viv/water8_631gs_t.vivtiming: RHF 6-31g*, water8_631gs, 144 AOs.
-
study/ports/pyscf/viv/water_631g.vivverification: RHF 6-31g, water_631g, 13 AOs.
-
study/ports/pyscf/viv/water_631g_0.vivbaseline: RHF 6-31g, water_631g, 13 AOs.
-
study/ports/pyscf/viv/water_631g_t.vivtiming: RHF 6-31g, water_631g, 13 AOs.
-
study/ports/pyscf/viv/water_ccpvdz.vivverification: RHF cc-pvdz, water_ccpvdz, 24 AOs.
-
study/ports/pyscf/viv/water_ccpvdz_0.vivbaseline: RHF cc-pvdz, water_ccpvdz, 24 AOs.
-
study/ports/pyscf/viv/water_ccpvdz_t.vivtiming: RHF cc-pvdz, water_ccpvdz, 24 AOs.
-
study/ports/pyscf/viv/water_ccpvtz.vivverification: RHF cc-pvtz, water_ccpvtz, 58 AOs.
-
study/ports/pyscf/viv/water_ccpvtz_0.vivbaseline: RHF cc-pvtz, water_ccpvtz, 58 AOs.
-
study/ports/pyscf/viv/water_ccpvtz_t.vivtiming: RHF cc-pvtz, water_ccpvtz, 58 AOs.
-
study/ports/pyscf/viv/water_sto3g.vivverification: RHF sto-3g, water_sto3g, 7 AOs.
-
study/ports/pyscf/viv/water_sto3g_0.vivbaseline: RHF sto-3g, water_sto3g, 7 AOs.
-
study/ports/pyscf/viv/water_sto3g_t.vivtiming: RHF sto-3g, water_sto3g, 7 AOs.
-
study/ports/pyscf/viv/watercat_631g_uhf.vivverification: UHF 6-31g, watercat_631g_uhf, 13 AOs.
-
study/ports/pyscf/viv/watercat_631g_uhf_0.vivbaseline: UHF 6-31g, watercat_631g_uhf, 13 AOs.
-
study/ports/pyscf/viv/watercat_631g_uhf_t.vivtiming: UHF 6-31g, watercat_631g_uhf, 13 AOs.
-
study/ports/pyscf/viv/watercat_ccpvdz_uhf.vivverification: UHF cc-pvdz, watercat_ccpvdz_uhf, 24 AOs.
-
study/ports/pyscf/viv/watercat_ccpvdz_uhf_0.vivbaseline: UHF cc-pvdz, watercat_ccpvdz_uhf, 24 AOs.
-
study/ports/pyscf/viv/watercat_ccpvdz_uhf_t.vivtiming: UHF cc-pvdz, watercat_ccpvdz_uhf, 24 AOs.
-
study/ports/pyscf/vivscf.vivOne Hartree-Fock program for every molecule of the PySCF port
-
study/ports/sisso/sisso.vivsisso
-
study/program_search/space_points.vivFive optimizers as points of one update template
-
study/vivkernels/prototype/axpy.vivPROTOTYPE kernel for
viv export: y = a*x + y, written in place on y; -
study/vivkernels/pwdft_m1/report.vivPROTOTYPE: the last file of the Si
-
tools/cas/gen_integrals.vivThe generator of lib/hf/mdg_kernels: McMurchie-Davidson kernels written by lib/cas
-
tools/gguf/meta.vivprint_meta of one GGUF file:
viv run --set 'MODEL="path"' tools/gguf/meta.viv -
tools/gguf/tensors.vivprint_tensors of one GGUF file:
viv run --set 'MODEL="path"' tools/gguf/tensors.viv -
tools/gguf/values.vivEvery tensor of one GGUF file whose type is in TYPES, read by lib/gguf and
-
tools/graph/draw.vivDraw a program's graph
-
tools/jupyter/examples/heat-rod.vivHeat spreading along a rod, and the step size that breaks it
-
tools/jupyter/examples/newton-vs-bisection.vivSquare roots by bisection and by Newton's method
-
tools/jupyter/examples/sums-of-uniforms.vivAdding up random numbers gives a bell curve
-
tools/llm-pack-trial/final/p1_quadrature.vivGauss-Legendre (3 points per panel) against composite Simpson on the integral
-
tools/llm-pack-trial/final/p2_ode.vivRK4 on the logistic equation y' = y (1 - y), y(0) = 0.1.
-
tools/llm-pack-trial/final/p3_root.vivThe root of x^3 - 2x - 5 (Wallis's example) by Newton, with the derivative
-
tools/llm-pack-trial/final/p4_linsolve.vivGaussian elimination with partial pivoting, written out, against lin_solve,
-
tools/llm-pack-trial/final/p5_plot.vivRunge's function 1 / (1 + 25 x^2) interpolated at 11 equispaced points and
-
tools/llm-pack-trial/first/p1_quadrature.vivGauss-Legendre (3 points per panel) against composite Simpson on the integral
-
tools/llm-pack-trial/first/p2_ode.vivRK4 on the logistic equation y' = y (1 - y), y(0) = 0.1.
-
tools/llm-pack-trial/first/p3_root.vivThe root of x^3 - 2x - 5 (Wallis's example) by Newton, with the derivative
-
tools/llm-pack-trial/first/p4_linsolve.vivGaussian elimination with partial pivoting, written out, against lin_solve,
-
tools/llm-pack-trial/first/p5_plot.vivRunge's function 1 / (1 + 25 x^2) interpolated at 11 equispaced points and
-
tools/llm-pack-trial/probes/def_name_to_simpson.vivWritten from the prompt pack: both engines refuse a def name as the
-
tools/llm-pack-trial/probes/deriv_of_parameter.vivWritten from the prompt pack before it had a section on lambdas: the
-
tools/llm-pack-trial/probes/lambda_captures_local.vivWritten from the prompt pack before it had a section on lambdas: the
-
tools/print-fmt-sweep/sweep.vivsweep
-
tools/py2viv/results/adapters.vivadapters
-
tools/py2viv/results/lj.vivlj
-
tools/py2viv/results/mapping.vivmapping
-
tools/py2viv/results/mlp_grad.vivmlp_grad
-
tools/strings/bench/floats.vivParse 10^6 numbers from text.
-
tools/strings/bench/join.vivJoin 10^6 one-character strings into one string.
-
tools/strings/bench/split.vivSplit a line of 10^6 tokens.
-
tools/strings/cases.vivGENERATED by tools/strings/cases.py from CPython 3.11.5: one printed line per case.
-
tools/vivdb/fixture/fx_lib.vivA two-file fixture for tools/vivdb/test_vivdb.py: a library def that calls
-
tools/vivdb/fixture/fx_prog.vivThe program half of the vivdb fixture.
-
xc/core.vivThe shared runtime of viv-xc (not derived from Libxc): the inverse
-
xc/gga/gga_c_acgga.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_acggap.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_am05.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_apbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_bmk.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_ccdf.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_chachiyo.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_cs1.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_gam.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_gapc.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_gaploc.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_hcth_a.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_hyb_tau_hcth.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_lm.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_lyp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_mggac.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_n12.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_n12_sx.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_op_b88.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_op_g96.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_op_pbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_op_pw91.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_op_xalpha.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_optc.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_p86.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_p86_ft.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_p86vwn.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_p86vwn_ft.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_pbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_pbe_gaussian.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_pbe_jrgx.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_pbe_mol.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_pbe_sol.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_pbe_vwn.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_pbefe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_pbeint.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_pbeloc.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_pw91.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_regtpss.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_rge2.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_scan_e0.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_sg4.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_sogga11.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_sogga11_x.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_spbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_tau_hcth.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_tca.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_tm_lyp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_tm_pbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_wi.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_wi0.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_wl.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_xpbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_zpbeint.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_zpbesol.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_zvpbeint.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_zvpbeloc.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_c_zvpbesol.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_apbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_baltin.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_dk.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_ernzerhof.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_exp4.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_fr_pw86.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_ge2.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_golden.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_lc94.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_lgap.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_lgap_ge.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_lieb.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_lkt.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_meyer.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_ol1.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_pbe2.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_pbe3.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_pbe4.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_pearson.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_perdew.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_pg1.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_rational_p.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_revapbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_tfvw.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_tfvw_opt.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_thakkar.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_tw1.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_tw2.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_tw3.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_tw4.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_vjks.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_vsk.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_vw.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_k_yt65.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_2d_b86.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_2d_b86_mgc.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_2d_b88.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_2d_pbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_airy.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_ak13.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_apbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_b86.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_b86_mgc.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_b86_r.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_b88.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_b88_6311g.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_b88m.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_bayesian.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_bcgp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_c09x.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_cap.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_chachiyo.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_dk87_r1.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_dk87_r2.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_eb88.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_ecmv92.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_ev93.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_ft97_a.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_ft97_b.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_g96.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_gam.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_hcth_a.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_hjs_b88.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_hjs_b88_v2.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_hjs_b97x.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_hjs_pbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_hjs_pbe_sol.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_htbs.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_kt1.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_lag.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_lg93.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_lv_rpw86.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_mb88.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_mpbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_n12.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_ncap.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_ncapr.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_ol2.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_optb86b_vdw.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_optb88_vdw.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_optx.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pbe_gaussian.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pbe_jsjr.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pbe_mod.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pbe_mol.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pbe_r.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pbe_sol.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pbe_tca.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pbea.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pbefe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pbeint.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pbek1_vdw.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pbepow.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pbetrans.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pw86.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_pw91.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_q1d.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_q2d.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_rge2.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_rpbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_rpw86.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_s12g.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_sg4.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_sogga11.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_ssb_sw.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_vmt84_pbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_vmt_pbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_wc.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_x_xpbe.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_b97_3c.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_b97_d.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_b97_gga1.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_hcth_120.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_hcth_147.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_hcth_407.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_hcth_407p.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_hcth_93.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_hcth_p14.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_hcth_p76.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_hle16.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_th1.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_th2.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_th_fc.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_th_fcfo.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_th_fco.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/gga_xc_th_fl.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/hyb_gga_x_n12_sx.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/hyb_gga_x_sogga11_x.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/hyb_gga_xc_b97.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/hyb_gga_xc_b97_1.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/hyb_gga_xc_b97_1p.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/hyb_gga_xc_b97_2.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/hyb_gga_xc_b97_3.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/hyb_gga_xc_b97_k.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/hyb_gga_xc_sb98_1a.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/hyb_gga_xc_sb98_1b.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/hyb_gga_xc_sb98_1c.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/hyb_gga_xc_sb98_2a.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/hyb_gga_xc_sb98_2b.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/gga/hyb_gga_xc_sb98_2c.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_1d_loos.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_br78.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_chachiyo.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_chachiyo_mod.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_gk72.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_gl.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_gombas.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_hl.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_karasiev.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_karasiev_mod.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_lp96.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_mcweeny.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_ml1.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_ml2.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_ob_pw.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_ob_pz.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_ow.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_ow_lyp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_pk09.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_pmgb06.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_pw.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_pw_mod.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_pw_rpa.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_pz.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_pz_mod.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_rc04.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_rpa.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_rpw92.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_upw92.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_vbh.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_vwn.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_vwn_1.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_vwn_2.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_vwn_3.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_vwn_4.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_vwn_rpa.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_c_wigner.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_k_gds08_worker.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_k_lp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_k_lp96.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_k_tf.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_k_zlp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_x.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_x_2d.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_x_rel.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_x_sloc.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_xc_1d_ehwlrg_1.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_xc_1d_ehwlrg_2.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_xc_1d_ehwlrg_3.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_xc_lp_a.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_xc_lp_b.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_xc_teter93.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/lda/lda_xc_zlp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/gga_k_gds08.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/gga_xc_pbe1w.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/gga_xc_pbelyp1w.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/gga_xc_vv10.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/gga_xc_xlyp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_apf.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_b1lyp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_b1pw91.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_b1wc.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_b3lyp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_b3lyp3.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_b3lyp5.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_b3lyp_mcm1.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_b3lyp_mcm2.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_b3lyps.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_b3p86.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_b3p86_nwchem.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_b3pw91.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_b5050lyp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_bhandh.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_bhandhlyp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_blyp35.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_hpbeint.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_kmlyp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_mb3lyp_rc04.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_o3lyp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_pbe0_13.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_pbe38.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_pbe50.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_pbe_2x.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_pbe_mol0.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_pbe_sol0.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_pbeh.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_qtp17.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_revb3lyp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_wc04.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_wp04.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
-
xc/mix/hyb_gga_xc_x3lyp.vivThis Source Code Form is subject to the terms of the Mozilla Public License,
package 6
A vipyr extra as its own Python distribution (packages/).
-
packages/vipyr-chem/Quantum chemistry and solids for vipyr: Hartree-Fock (vp.scf) and plane-wave DFT (vp.dft), written in Viv
-
packages/vipyr-hardware/Hardware simulation for vipyr (placeholder)
-
packages/vipyr-nuclear/Nuclear structure for vipyr: Skyrme Hartree-Fock and the nuclear shell model (vp.nuclear), written in Viv
-
packages/vipyr-plasma/Plasma physics for vipyr: Vlasov-Poisson Landau damping (vp.plasma), written in Viv
-
packages/vipyr-symreg/Symbolic regression for vipyr (placeholder)
-
packages/vipyr-xc/Exchange-correlation functionals for vipyr, translated from Libxc (MPL-2.0)
port 2
A port of a published code to Viv, with its upstream license (ports/).
-
ports/dftatom/dftatom's radial Schrodinger and Dirac solvers and LDA/RLDA atom, ported to Viv, for vipyr
Check compared with upstream in ports/dftatom/COMPARISON.md
-
ports/liquids/Allen and Tildesley's Lennard-Jones molecular dynamics and Monte Carlo programs, ported to Viv, for vipyr
Check compared with upstream in ports/liquids/COMPARISON.md
cli 38
A verb of the viv command.
-
viv arch -
viv atlasthe atlas: every def by module, the calls between them and one run's counts, with a walk through that run line by line, as a page that opens offline
-
viv builda native program with the C compiler
-
viv canon -
viv cas -
viv checkparse and type-check without running
-
viv claimsclaims (a bounded statement, its program and its vipyr twin) and their status
-
viv cuda -
viv db -
viv debt -
viv deps -
viv diff -
viv digitswhich printed digits survive perturbed arithmetic
-
viv doc -
viv expand -
viv explaina program's intent from the top down
-
viv exportkernels and libraries for Python
-
viv facts -
viv featuresthe catalog of what Viv can do: consult it before writing code
-
viv fixname positional options; apply the edits a --json diagnostic carries
-
viv graph -
viv hash -
viv helpthis list; --agent: the working guide for an agent
-
viv hookcheck an edited .viv file; exit 2 with the errors on stderr
-
viv imports -
viv ladder -
viv lens -
viv lintsize and style rules
-
viv lsfuncthe table of contents: every function and its doc
-
viv lsvar -
viv mapthe code map: each def under its caller, with intent, loops and contracts
-
viv phrases -
viv plot -
viv runrun the program and its tests in the interpreter
-
viv skillwrite the vipyr skill for Claude Code into .claude/skills
-
viv srcone def's source
-
viv story -
viv whatiswhat one name in a program is
feature 396
An entry of the language feature catalog (lang/viv/features, `viv features`).
-
The algorithms harness
Check tools/algo/check.py
-
Aliasing and copies
Check www/src/pages/reference.astro
-
The architecture lens: layers, budgets and multi-paths
-
Arrays of records: [T]
-
The assert builtins
Check www/src/pages/reference.astro (Output and testing)
-
The atlas of a program
Check lang/viv/src/atlas.rs; www/scripts/atlas-viewer-build.mjs
-
What
gradrefuses, and why -
Reductions along an axis, with keepdims
Check www/src/pages/reference.astro section arrays
-
A bare
return, and trailing commas -
@as NumPy's matmul, on stacks of matricesCheck lang/viv/src/interp/matmul.rs
-
The published benchmark sets
Check study/benchmarks/viv/nas/cg.viv
-
Binary files: read_bytes and the little-endian readers
-
The cache-blocked
@, with the plain loop's bitsCheck lang/viv/src/interp/matmul.rs
-
Broadcasting between arrays of different shapes
Check www/src/pages/reference.astro section arrays
-
A builtin's options by name
Check lang/viv/src/kwargs.rs
-
The derivative table as a module
Check lib/cas/rules/derivatives.toml
-
The cert lens: a phrase's exact value, recorded
-
Phrases held to exact values: viv check --phrases
-
The claims and their status
Check tools/claims/run.py
-
Closures: lambdas that capture
Check lang/viv/src/defun.rs; lang/viv/src/surface.rs
-
A local viewer for branches in flight
Check tools/viewer.mjs
-
The Python and Viv pairs
Check study/compare/check.sh; study/compare/measure.py
-
Compile to C or to wasm
-
Complex arrays
Check www/src/pages/reference.astro section types
-
Complex numbers: Cplx and CArr
Check www/src/pages/reference.astro
-
Compound assignment
Check www/src/pages/reference.astro
-
Constructor defs
Check lang/viv/src/ctor.rs
-
Declaring a contract and its methods
Check lib/eigen/lowest.viv
-
Contracts: integrate and find_root
Check lang/viv/std/contracts.viv
-
The CUDA C of a program's GPU kernels
-
viv debt: what the lenses still owe, most central first
-
The debug lens: watch, hold and trace
-
The call graph
Check lang/viv/src/lib.rs
-
Forward-mode derivative of one expression
-
Arrays kept on the GPU across kernel calls:
on deviceCheck lang/viv/src/cuda.rs; examples/cuda/heat2d.viv
-
viv digits: which printed digits are real
-
Pinning a
parallel foras disjoint in the memory lensCheck lang/viv/src/memory_lens.rs; lib/hf/md_eri.memory
-
Annotations as data
Check www/src/pages/reference.astro section Lexical structure
-
Docstrings and annotation comments
Check www/src/pages/reference.astro section Lexical structure
-
einsumfor contractions written by indexCheck www/src/pages/reference.astro section arrays
-
Math functions over whole arrays
Check www/src/pages/reference.astro section Builtins
-
enumerate with a start
Check www/src/pages/reference.astro
-
Enums and match
-
The program as the engines read it
Check lang/viv/src/imports.rs
-
viv explain: the call tree with each def's purpose
-
The program graph and the explorer
-
Export a program as one C file and a Python wrapper
-
-
Everything the compiler knows about one file, as JSON
-
Fast mode: fused multiply-add, the platform libm and BLAS, checked against the exact engines
-
The feature catalog
Check lang/viv/features
-
Fast Fourier transforms on complex arrays
Check www/src/pages/reference.astro section Builtins
-
Field assignment and places
-
Name the builtin options a file writes by position
Check lang/viv/src/kwargs.rs
-
Float32, IEEE single precision
-
Counted loops with from, by and reversed
Check www/src/pages/reference.astro; lang/viv/src/parser.rs
-
Loops over elements: for x in, enumerate, zip, rows
Check www/src/pages/reference.astro; lang/viv/src/parser.rs
-
for_leavesandzeros_likeover records of arraysCheck www/src/pages/reference.astro section Statements
-
format specs: Python's flags
-
Formatting
Check tools/steps/one_line.py
-
Function values
Check lang/viv/src/defun.rs
-
Gathers and scatters with
takeandputCheck www/src/pages/reference.astro section arrays
-
Generator arguments and short-circuit all/any
Check lang/viv/src/surface.rs; www/src/pages/reference.astro
-
2-D grids for GPU kernels
Check examples/cuda/heat2d.viv; examples/cuda/matmul.viv
-
GPU kernels, run by a CPU emulator that checks them
Check lang/viv/src/cuda.rs
-
Reverse-mode gradient of a def
-
Growable arrays: append and extend
-
Content addresses, structural diff and canonical order
Check www/src/pages/reference.astro section The CLI
-
Holds: claims checked while the program runs
-
The golden snapshot of the corpus
Check tools/hub-golden.sh
-
The if-expression
Check lang/viv/src/surface.rs; www/src/pages/reference.astro
-
Imports and module namespaces
Check lang/viv/src/imports.rs
-
Rewrite #! use lines as imports
Check lang/viv/src/imports.rs
-
The in and not in operators
Check www/src/pages/reference.astro
-
Int arrays: [Int]
-
Int, a checked 64-bit integer
-
The intent lens: what each def is for, in a file beside the code
-
Intent at the def, step and statement level
-
Stamps: an entry records the code it was written for
-
Ints where numbers go
-
Viv in Jupyter
Check tools/jupyter/README.md
-
Sort and select by a key
Check lang/viv/src/surface.rs; www/src/pages/reference.astro
-
Keyword arguments and defaults
Check lang/viv/src/kwargs.rs
-
Ladders: rung blocks
-
Lambdas
Check www/src/pages/reference.astro
-
lang/viv/std/builtinsBuiltins written in Viv (lang/viv/src/stdlib.rs)
-
lang/viv/std/contractsThe Viv contract library: objective-level solve verbs backed by a sweep of strategies, ...
-
lang/viv/std/groupbyGroup-by on Int keys, written in Viv so that every engine runs the same program (lang/v...
-
lang/viv/std/phrasesWhat a phrase calls that is in neither the builtins nor lang/viv/std/contracts.viv
-
Lens coverage and its ratchet
-
The algorithms library, in design (lib/algo)
Check lib/algo/algo.spec
-
Computer algebra (lib/cas)
Check lib/cas/cas.viv
-
Control: LQR, Riccati, Lyapunov, balanced truncation (lib/lqr and others)
Check lib/lqr.viv; lib/are.viv; lib/lyap.viv; lib/balance.viv
-
Logic gate schematics (lib/gates)
Check lib/gates.viv
-
A small GPT (lib/gpt)
Check lib/gpt/gpt.viv
-
Drawing graphs (lib/graphdraw, lib/graphlayout)
Check lib/graphlayout.viv
-
Hartree-Fock quantum chemistry (lib/hf)
Check lib/hf/hf.viv; lib/hf/mole.viv
-
Dense linear algebra (lib/schur, lib/svd, lib/polar, lib/lobpcg, lib/linalg)
Check lib/schur.viv; lib/svd.viv; lib/polar.viv; lib/lobpcg.viv
-
MINPACK least squares (lib/minpack)
Check lib/minpack/lmder.viv; lib/minpack/README.md
-
Transformer pieces (lib/nn)
Check lib/nn.viv
-
NumPy's random generators (lib/nprandom)
Check lib/nprandom/generator.viv; lib/nprandom/selftest.viv
-
Initial value problems, stiff and non-stiff (lib/ode)
Check lib/ode/solve.viv; lib/ode/radau.viv; lib/ode/bdf.viv; lib/ode/dopri5.viv; lib/ode/ode.docs.toml
-
Optimizers (lib/optim)
Check lib/optim.viv
-
A model's parameters as one vector (lib/params)
Check lib/params.viv
-
Randomized linear algebra (lib/randla)
Check lib/randla/README.md
-
Random draws over rand() (lib/random)
Check lib/random.viv
-
Mean and standard deviation written with sum (lib/stats)
Check lib/stats.viv
-
Atoms and basis sets (lib/xyz, lib/basis)
Check lib/xyz.viv; lib/basis/basis.viv
-
lib/algo/cases(no header)
-
lib/algo/legacy/bench_qsortGenerated by tools/algo/legacy.py from the corpus: do not edit
-
lib/algo/legacy/cmp_insertion_sortGenerated by tools/algo/legacy.py from the corpus: do not edit
-
lib/algo/legacy/cmp_merge_sortGenerated by tools/algo/legacy.py from the corpus: do not edit
-
lib/algo/legacy/cmp_quicksortGenerated by tools/algo/legacy.py from the corpus: do not edit
-
lib/algo/legacy/eig_sortGenerated by tools/algo/legacy.py from the corpus: do not edit
-
lib/algo/legacy/gcd_juliaGenerated by tools/algo/legacy.py from the corpus: do not edit
-
lib/algo/legacy/gcd_postGenerated by tools/algo/legacy.py from the corpus: do not edit
-
lib/algo/legacy/gcd_taGenerated by tools/algo/legacy.py from the corpus: do not edit
-
lib/algo/legacy/heapsGenerated by tools/algo/legacy.py from the corpus: do not edit
-
lib/algo/legacy/order(no header)
-
lib/algo/legacy/permutationsGenerated by tools/algo/legacy.py from the corpus: do not edit
-
lib/algo/legacy/searchesGenerated by tools/algo/legacy.py from the corpus: do not edit
-
lib/algo/legacy/seq_argsortGenerated by tools/algo/legacy.py from the corpus: do not edit
-
lib/algo/legacy/ta_sortingGenerated by tools/algo/legacy.py from the corpus: do not edit
-
lib/algo/legacy/topoGenerated by tools/algo/legacy.py from the corpus: do not edit
-
lib/algo/props(no header)
-
lib/areThe algebraic Riccati equation, by the Schur method
-
lib/balanceBalanced truncation, or which states a model can do without
-
lib/basis/allEvery basis set lib/basis has, for a program that picks one at run time
-
lib/basis/basisA basis set as a table, the record every lib/basis module returns
-
lib/basis/ccpvdzThe cc-pVDZ basis set, H through Ar, as a table
-
lib/basis/ccpvtzThe cc-pVTZ basis set, H through Ar, as a table
-
lib/basis/def2svpThe def2-SVP basis set, H through Ar, as a table
-
lib/basis/def2tzvpThe def2-TZVP basis set, H through Ar, as a table
-
lib/basis/namedA basis set by its name, as PySCF spells it
-
lib/basis/pople631gThe 6-31G basis set, H through Ar, as a table
-
lib/basis/pople631gsThe 6-31G* basis set, H through Ar, as a table
-
lib/basis/pople631gssThe 6-31G** basis set, H through Ar, as a table
-
lib/basis/sto3gThe STO-3G basis set, H through Ar, as a table
-
lib/cartpole| The cart-pole of Barto, Sutton and Anderson (1983): a cart of mass CART_M on a fricti...
-
lib/cartpole_apithe cart-pole's entry points for Python (vipyr)
-
lib/cas/calculusSubstitution, derivatives, expansion, certificates, integrals and roots in lib/cas
-
lib/cas/caslib/cas, a computer algebra system written in Viv
-
lib/cas/check/acceptancePhrases with closed forms, each held to the CAS
-
lib/cas/check/acceptance_checkWritten by
viv check --phrases: each phrase of the program held to the closed form li... -
lib/cas/check/hermite_eStage 0's acceptance, the Hermite coefficients by two recurrence orders equal mod p
-
lib/cas/check/pion_loopThe pion-loop function's derivative by lib/cas
-
lib/cas/check/pion_loop_checkWritten by
viv check --phrases: each phrase of the program held to the closed form li... -
lib/cas/codegenStraight-line Viv from CAS expressions, with common subexpressions computed once
-
lib/cas/derivsThe derivative table, as the CAS reads it
-
lib/cas/evalEvaluating a CAS expression in doubles, mod p and in balls
-
lib/cas/parseReading an expression written as Viv text into the CAS
-
lib/cas/phrasesPhrases as the CAS's first client, each closed form a check
-
lib/cas/rationalExact rationals and arithmetic mod p, in doubles
-
lib/cas/showPrinting a CAS expression as Viv and as LaTeX
-
lib/cas/storeThe expression store of lib/cas, one node per distinct expression
-
lib/cc/codegenThe code generator: the syntax tree in, RV32IM assembly text out
-
lib/cc/driverThe compiler driver: C source to assembly, and C source to a finished run on the simulator
-
lib/cc/lexerThe lexer: C source text in, a list of tokens out
-
lib/cc/parserThe parser: tokens in, an abstract syntax tree out
-
lib/cc/typesThe checks between parsing and code generation
-
lib/chainRigid-body dynamics for a planar chain of links
-
lib/corpusThe speedrun's training text
-
lib/eigen/lowestThe lowest eigenpairs of a symmetric operator, by Lanczos or from its matrix
-
lib/gatesGate symbols and orthogonal wiring, for drawing a schematic
-
lib/gguf/apiThe entry points vipyr calls in lib/gguf
-
lib/gguf/headerReading a GGUF file, part 1, the header
-
lib/gguf/quantsReading a GGUF file, part 3, ggml's quantized number formats
-
lib/gguf/tensorsReading a GGUF file, part 2, the tensor table
-
lib/gpt/apiThe GPT of lib/gpt, called from Python
-
lib/gpt/gptA small GPT, written to be read while it runs
-
lib/gpt/story_gpt(no header)
-
lib/graphdrawThe whole program as a graph, drawn by Viv
-
lib/graphlayoutLayered graph layout
-
lib/gtoGaussian-basis quantum chemistry, held against PySCF
-
lib/gto_mdAngular momentum, by McMurchie and Davidson
-
lib/hf/accelerateSpeeding up the SCF fixed point by DIIS, plain iteration and damping
-
lib/hf/aoA molecule's integrals, each by its production member
-
lib/hf/basisWhat a contracted Cartesian Gaussian is, and how to normalize one
-
lib/hf/boysThe Boys function, four ways, held against mpmath
-
lib/hf/cart2sphFrom Cartesian to spherical Gaussians, one shell at a time
-
lib/hf/casidaExcitation energies from the Casida equation
-
lib/hf/couplingThe ROHF effective Fock matrix, and why it is not unique
-
lib/hf/densityDensities, orbital spaces and the SCF error
-
lib/hf/eigenThree symmetric eigensolvers that check each other
-
lib/hf/eri_storeStoring electron repulsion integrals once per symmetry class
-
lib/hf/fuzzSeeded molecules and the transformations the energy must ignore
-
lib/hf/gallery/boysThe Boys functions, drawn
-
lib/hf/gh_onebodyOverlap and kinetic energy by Gauss-Hermite quadrature
-
lib/hf/guessFive initial densities for the SCF
-
lib/hf/hermiteHermite tables for McMurchie-Davidson integrals, built bottom-up
-
lib/hf/hfThe Hartree-Fock pipeline with every integral cross-checked
-
lib/hf/hgp_eriElectron repulsion integrals by the Head-Gordon-Pople recurrences
-
lib/hf/integralsThe integral stages on one page, what each promises and who checks it
-
lib/hf/intervalInterval arithmetic with outward rounding, and how to check it exactly
-
lib/hf/iv_boysThe Boys function, enclosed
-
lib/hf/iv_intsIntegrals with guaranteed bounds, two ways
-
lib/hf/iv_sweepSweeping point strategies against a guaranteed enclosure
-
lib/hf/jkCoulomb and exchange matrices from packed integrals, three ways
-
lib/hf/jk_directDirect J and K, from the basis instead of stored integrals
-
lib/hf/md_directDirect J and K, recomputing the integrals instead of storing them
-
lib/hf/md_eriElectron repulsion integrals by McMurchie-Davidson, one shell quartet at a time
-
lib/hf/md_onebodyOverlap, kinetic energy and nuclear attraction, one shell pair at a time
-
lib/hf/mdg_eriElectron repulsion integrals on the kernels lib/cas generated
-
lib/hf/mdg_kernelsMcMurchie-Davidson kernels generated by lib/cas, one def per angular-momentum class
-
lib/hf/moleA molecule from text and a basis name, as PySCF takes them
-
lib/hf/moleculeA molecule and its basis, built in Viv
-
lib/hf/optsThe Hartree-Fock options, a record with defaults
-
lib/hf/orthogonalizeFour ways to make the AO basis orthonormal
-
lib/hf/os_onebodyOverlap, kinetic and nuclear attraction by the Obara-Saika recurrences
-
lib/hf/rhfRestricted Hartree-Fock, one set of orbitals with two electrons in each
-
lib/hf/rohfRestricted open-shell Hartree-Fock
-
lib/hf/rys_eriElectron repulsion integrals by Rys quadrature
-
lib/hf/scfHartree-Fock from a molecule, in one call
-
lib/hf/scf_loopThe SCF loop every Hartree-Fock method runs
-
lib/hf/stabIs an SCF solution a minimum? Orbital-rotation stability
-
lib/hf/sweepSweeping array-valued strategies, and blaming the one that dissents
-
lib/hf/transformMoving integrals from Cartesian to spherical functions
-
lib/hf/uhfUnrestricted Hartree-Fock, one set of orbitals per spin
-
lib/ising|| The two-dimensional Ising model on an L by L square lattice with periodic || edges: ...
-
lib/linalgAn inverse and a reproducible test matrix
-
lib/lobpcgLOBPCG, the lowest eigenpairs of an operator you can only apply
-
lib/lqrThe linear-quadratic regulator, for a system with one input
-
lib/lyapThe Lyapunov equation, by Bartels and Stewart
-
lib/minpack/enormenorm and dpmpar from MINPACK
-
lib/minpack/fitResiduals, Jacobians and forward differences driving lmder for vp.optimize
-
lib/minpack/lmderMINPACK's lmder, Levenberg-Marquardt least squares with a trust region
-
lib/minpack/lmparMINPACK's lmpar, the Levenberg-Marquardt parameter for a trust radius
-
lib/minpack/mghTest problems for least squares, from Moré, Garbow and Hillstrom
-
lib/minpack/mgh_checkThe Viv port of lmder against the Fortran, on the MINPACK test problems
-
lib/minpack/mgh_lsThe Moré-Garbow-Hillstrom problems in least_squares' form
-
lib/minpack/mgh_refThe Fortran oracle for the MINPACK test problems
-
lib/minpack/qrfacMINPACK's qrfac, QR factorization with column pivoting
-
lib/minpack/qrsolvMINPACK's qrsolv, the damped least-squares system from a QR factorization
-
lib/minpack/rosenbrock_figuresThe two figures the Read view of lmder's run on Rosenbrock shows beside its core path (...
-
lib/minpack/story_osborne1Osborne 1, a data-fitting problem (33 points, the sum of two decaying exponentials, 5 p...
-
lib/minpack/story_rosenbrockRosenbrock's function from (-1.2, 1), solved by lmder1, to read as a story:
-
lib/nistrefWhat NIST says an atom's energy is
-
lib/nnThe pieces a transformer is made of
-
lib/nn_adjointsThe backward passes of lib/nn, written by hand
-
lib/nprandom/bitsUnsigned 32- and 64-bit arithmetic on doubles, for NumPy's generators
-
lib/nprandom/generatorNumPy's Generator methods, over PCG64
-
lib/nprandom/legacyNumPy's legacy random functions, over its Mersenne Twister
-
lib/nprandom/mt19937NumPy's Mersenne Twister, word for word
-
lib/nprandom/pcg64NumPy's PCG64 in 16-bit limbs
-
lib/nprandom/seedseqNumPy's SeedSequence, the hash behind default_rng(seed)
-
lib/nprandom/selftestlib/nprandom against NumPy's own draws
-
lib/nprandom/ziggurat_tablesThe ziggurat tables of NumPy's normal draws
-
lib/nuclear/shell/interactionsThe interactions shipped with lib/nuclear/shell, as the text of their files (data/*.sps...
-
lib/nuclear/shell/shellThe nuclear shell model in the M scheme
-
lib/nuclear/shell/shellmodelShell-model energies, spins and occupations of a nucleus
-
lib/ode/bdfVariable-order BDF in quasi-constant-step form (orders 1 to 5)
-
lib/ode/coreWhat the ODE integrators share
-
lib/ode/dopri5Dormand and Prince's explicit 5(4) pair
-
lib/ode/gallery_robertsonRobertson's stiff kinetics, drawn
-
lib/ode/luDense LU with partial pivoting, factored once and solved many times
-
lib/ode/nonstiff_eventslib/ode on non-stiff problems, events, dense output and batches
-
lib/ode/problemsThe test problems of lib/ode, with exact Jacobians by grad
-
lib/ode/radauRadau IIA of order 5, after Hairer and Wanner's RADAU5
-
lib/ode/solveOne driver for every method of solving an initial value problem
-
lib/ode/stiff_referencelib/ode against the stiff test set's published reference solutions
-
lib/optimFour optimizers over one parameter vector
-
lib/paramsA model's parameters as one vector and a table
-
lib/polarOrthogonalizing a matrix by Newton-Schulz, which is what Muon does
-
lib/power/apiThe power flow, called from Python
-
lib/power/caseReading a MATPOWER case file
-
lib/power/contingencyN-1 contingency analysis by AC re-solves and DC distribution factors
-
lib/power/cpfThe continuation power flow, a PV curve up to the nose and past it
-
lib/power/matpower_refThe power flow against MATPOWER's own solution
-
lib/power/pfAC and DC power flow by Newton-Raphson, fast-decoupled and DC
-
lib/power/rawReading a PSS/E RAW case
-
lib/power/shortcircuitThree-phase short-circuit current by IEC 60909
-
lib/power/spluSparse LU with a minimum-degree ordering and threshold pivoting
-
lib/power/studyViolations, distribution factors and the transfer limit in a generator-interconnection study
-
lib/power/ybusThe bus admittance matrix
-
lib/proggraphThe program graph as data
-
lib/qcfuzzTwo ways of computing the same integral, raced on random molecules
-
lib/qcrefWhat PySCF says, for Viv to be held against
-
lib/radialThe radial Schrodinger equation, the way dftatom solves it
-
lib/randla/apirandla's entry points for Python (vipyr)
-
lib/randla/denseThe small dense kernels randla's drivers need
-
lib/randla/gallery_traceTrace estimation by Hutch++, drawn
-
lib/randla/lowrankRandomized low-rank approximation by range finder, SVD, Nystrom and RPCholesky
-
lib/randla/lstsqSketch-and-precondition least squares
-
lib/randla/philoxPhilox4x32-10, the counter-based generator behind every randla sketch
-
lib/randla/reprorandla's results to 17 digits, for the three-engine comparison
-
lib/randla/sketchSketching operators, generated from a counter
-
lib/randla/traceTrace estimation from matrix-vector products by Hutchinson and Hutch++
-
lib/randlcrandlc, the NAS Parallel Benchmarks' random number generator
-
lib/randomRandom draws, each one a formula over rand()
-
lib/rv32/asmAn RV32IM assembler: assembly text in, the bytes of a memory image out
-
lib/rv32/bits32-bit words held in Viv's 64-bit Int
-
lib/rv32/simAn RV32IM simulator: fetch a 32-bit word at pc, decode it into an instruction, execute ...
-
lib/rv32/systemAssemble a program, load it into a fresh machine and run it: the three steps every test...
-
lib/rv32/traceWatching the simulator run: a record per executed instruction for a step-through view, ...
-
lib/scf/loopOne self-consistent field loop for any basis
-
lib/scf/mixMixing densities in a self-consistent field
-
lib/schurThe real Schur decomposition, by Householder and Francis
-
lib/skyrme/skyrmeSkyrme Hartree-Fock of oxygen-16 on a radial mesh
-
lib/skyrme/skyrmehfSkyrme Hartree-Fock of a spherical closed-shell nucleus, as a program with its settings...
-
lib/skyrme/sphericalSkyrme Hartree-Fock of any spherical closed-shell nucleus
-
lib/skyrme/story_o16Oxygen-16, 8 protons and 8 neutrons filling the 1s and 1p shells, held together by the ...
-
lib/sparseSparse matrices in compressed sparse row form
-
lib/statsThe mean and the standard deviation of an array
-
lib/stats/apiThe entry points vp.stats calls
-
lib/stats/describeDescriptive statistics with stable sums
-
lib/stats/distProbability distributions in standard form
-
lib/stats/gallery_glmA probit fit to mtcars, drawn
-
lib/stats/gallery_longleyLeast squares on NIST's Longley data, drawn
-
lib/stats/gallery_specialThe special functions against mpmath, drawn
-
lib/stats/glmGeneralized linear models by iteratively reweighted least squares
-
lib/stats/lens/nist_digitsNIST's certified linear regressions under the digits lens
-
lib/stats/linmodLeast squares for linear models and GLMs
-
lib/stats/specialThe special functions under lib/stats's distributions
-
lib/stats/tablesThe constants of lib/stats/special.viv's series
-
lib/svdThe singular value decomposition, by one-sided Jacobi
-
lib/vlasovA 1D1V Vlasov-Poisson solver for electrons on a fixed ion background, and the measureme...
-
lib/xyzAtoms from XYZ text
-
lib/zfuncThe Faddeeva function and the plasma dispersion function
-
Integer literals where a size belongs
Check lang/viv/src/lint.rs
-
Rounding an Int would make unnecessary
Check lang/viv/src/lint.rs
-
List comprehensions
Check lang/viv/src/surface.rs; www/src/pages/reference.astro
-
Each loop pass frees what it allocated
-
A program's table of contents
Check www/src/pages/reference.astro section Lexical structure
-
The whole variable glossary
Check www/src/pages/reference.astro section Lexical structure
-
Map comprehensions
Check lang/viv/src/surface.rs
-
Maps
-
Masks,
where,extractandputmaskCheck www/src/pages/reference.astro section arrays
-
Memory checks of the emitted C
Check tools/memcheck/ci.sh
-
The memory lens: what each def does with its arrays
-
Method-call syntax
Check www/src/pages/reference.astro
-
Method registries and the sweep
Check lang/viv/std/contracts.viv
-
Function values compile by specialization
Check lang/viv/src/defun.rs
-
Several results: return a, b
Check lang/viv/src/tuples.rs
-
Native and wasm builds
Check lang/viv/examples/README.md
-
Negative indices
Check lang/viv/src/interp/slices.rs; www/src/pages/reference.astro
-
Num and Bool
Check www/src/pages/reference.astro
-
The array builtins agree with NumPy to the bit
Check tools/arrays/numpy_cases.py; www/src/pages/reference.astro section arrays
-
The NumPy array vocabulary
Check www/src/pages/reference.astro
-
One-line steps
-
Operators: ^, %, //, @, and, or
Check www/src/pages/reference.astro
-
Optionals: T?
-
Sums in a loop's order:
sum(a, ordered=true)Check lang/viv/src/interp/arrays.rs; lang/viv/src/kwargs.rs
-
Packed arrays: [Float32], [BFloat16], [Float16], [Int8], [Int16], [Int32], [UInt8]
-
parallel for, checked for disjoint writesCheck lang/viv/src/parallel.rs
-
Phrases: math written as words
Check lang/viv/src/phrases.rs
-
Placeholder defs
-
Draw a run's figures as SVG
-
Math in figure labels
Check lang/viv/src/mathtext.rs
-
print and fmt
-
Private names of a module
Check lang/viv/src/imports.rs
-
Problem posts: tests that fail until solved
Check posts/README.md; www/scripts/feed-build.mjs
-
The pseudocode view
Check lang/viv/src/pseudo.rs
-
Numeric Python into Viv
Check tools/py2viv/SUBSET.md; tools/py2viv/RULES.md
-
Python's literals and chained comparisons
Check lang/viv/src/lexer.rs
-
Python's math names: pi, e, inf,
import math -
Time one program in every engine
Check tools/race-engines.sh; tools/bounds-cost.sh
-
Seeded random draws of any shape
Check www/src/pages/reference.astro section Builtins
-
Arithmetic on records of arrays
Check www/src/pages/reference.astro
-
Record field defaults
Check lang/viv/src/ctor.rs
-
Record update: T { f: e, ..base }
-
Records
-
Recursion
Check lang/viv/src/recursion.rs
-
Adjoints for reductions, reshapes, gathers and broadcasts
Check study/idioms/autodiff-probes/axes.viv
-
Release mode: select instead of verify
-
Run a program in the interpreter
Check www/src/pages/reference.astro
-
Running sums and differences:
cumsum,cumprod,diff,clipCheck www/src/pages/reference.astro section arrays
-
Each module compiled once, its object cached
-
Overriding a constant with --set
Check lang/viv/src/lib.rs
-
show and narrate
Check www/src/pages/reference.astro
-
Writing into a slice
Check lang/viv/src/interp/slices.rs; www/src/pages/reference.astro
-
Slices
Check lang/viv/src/interp/slices.rs; www/src/pages/reference.astro
-
Linear solves and eigensolvers that return their results
Check www/src/pages/reference.astro section arrays
-
Sorting:
sort,argsortandsortedCheck www/src/pages/reference.astro section comprehensions
-
One def's source
Check lang/viv/src/lib.rs
-
Contracts and their registries (std/contracts)
Check lang/viv/std/contracts.viv
-
The defs phrases call (std/phrases)
Check lang/viv/std/phrases.viv
-
Named steps
-
Check www/src/pages/reference.astro
-
viv story: the run told in the intent's words
-
What the compiler refuses instead of guessing
Check www/src/pages/reference.astro (Lexical structure, Types); lang/viv/tests/semantics.rs
-
Lists of strings: [Str]
-
Strings
-
Test blocks
Check www/src/pages/reference.astro (What a test prints); tools/three-engines.sh
-
Fenced text blocks
Check www/src/pages/reference.astro
-
Three engines, one output
Check tools/three-engines.sh
-
Run a directory in three engines
Check tools/three-engines.sh; tools/both-engines.sh
-
Type annotations
-
Unpacking and swaps
Check www/src/pages/reference.astro
-
A program's own phrases
-
Phrases that solve by every method
-
The value and the gradient in one pass
-
Gradients of a record of arrays
-
viv view: one program through each lens
-
viv check: the checks a run makes, without running
Check lang/viv/src/main.rs
-
Look up a variable's glossary entry
Check www/src/pages/reference.astro section Lexical structure
-
while, break and continue
Check www/src/pages/reference.astro; lang/viv/src/parser.rs
test 129
A test suite.
-
crates/knotkit/tests/sources.rscargo test of knotkit: sources
-
lang/viv/tests/agent_cli.rscargo test of viv: agent_cli
-
lang/viv/tests/arch.rscargo test of viv: arch
-
lang/viv/tests/arrays.rscargo test of viv: arrays
-
lang/viv/tests/atlas_cli.rscargo test of viv: atlas_cli
-
lang/viv/tests/autodiff.rscargo test of viv: autodiff
-
lang/viv/tests/binary_input.rscargo test of viv: binary_input
-
lang/viv/tests/c_param_copy.rscargo test of viv: c_param_copy
-
lang/viv/tests/cas.rscargo test of viv: cas
-
lang/viv/tests/contracts.rscargo test of viv: contracts
-
lang/viv/tests/cuda.rscargo test of viv: cuda
-
lang/viv/tests/db.rscargo test of viv: db
-
lang/viv/tests/differential.rscargo test of viv: differential
-
lang/viv/tests/e2e.rscargo test of viv: e2e
-
lang/viv/tests/embed.rscargo test of viv: embed
-
lang/viv/tests/explorer.rscargo test of viv: explorer
-
lang/viv/tests/export.rscargo test of viv: export
-
lang/viv/tests/export_infer.rscargo test of viv: export_infer
-
lang/viv/tests/export_licenses.rscargo test of viv: export_licenses
-
lang/viv/tests/facts.rscargo test of viv: facts
-
lang/viv/tests/fast_mode.rscargo test of viv: fast_mode
-
lang/viv/tests/features.rscargo test of viv: features
-
lang/viv/tests/fem_poisson.rscargo test of viv: fem_poisson
-
lang/viv/tests/figures.rscargo test of viv: figures
-
lang/viv/tests/float32.rscargo test of viv: float32
-
lang/viv/tests/geomopt.rscargo test of viv: geomopt
-
lang/viv/tests/grad.rscargo test of viv: grad
-
lang/viv/tests/graph_drawing.rscargo test of viv: graph_drawing
-
lang/viv/tests/groupby.rscargo test of viv: groupby
-
lang/viv/tests/growable.rscargo test of viv: growable
-
lang/viv/tests/h2_scf.rscargo test of viv: h2_scf
-
lang/viv/tests/hf_language.rscargo test of viv: hf_language
-
lang/viv/tests/int_enum.rscargo test of viv: int_enum
-
lang/viv/tests/interp_smoke.rscargo test of viv: interp_smoke
-
lang/viv/tests/lens_coverage.rscargo test of viv: lens_coverage
-
lang/viv/tests/lenses.rscargo test of viv: lenses
-
lang/viv/tests/loop_arena.rscargo test of viv: loop_arena
-
lang/viv/tests/maps.rscargo test of viv: maps
-
lang/viv/tests/md_polymer.rscargo test of viv: md_polymer
-
lang/viv/tests/memory_leaks.rscargo test of viv: memory_leaks
-
lang/viv/tests/molecule_db.rscargo test of viv: molecule_db
-
lang/viv/tests/objects.rscargo test of viv: objects
-
lang/viv/tests/one_line_steps.rscargo test of viv: one_line_steps
-
lang/viv/tests/origins.rscargo test of viv: origins
-
lang/viv/tests/parallel_races.rscargo test of viv: parallel_races
-
lang/viv/tests/parity.rscargo test of viv: parity
-
lang/viv/tests/perf_int.rscargo test of viv: perf_int
-
lang/viv/tests/phrase_modules.rscargo test of viv: phrase_modules
-
lang/viv/tests/phrases.rscargo test of viv: phrases
-
lang/viv/tests/plot_svg.rscargo test of viv: plot_svg
-
lang/viv/tests/print_fmt.rscargo test of viv: print_fmt
-
lang/viv/tests/record_update.rscargo test of viv: record_update
-
lang/viv/tests/records.rscargo test of viv: records
-
lang/viv/tests/registries.rscargo test of viv: registries
-
lang/viv/tests/semantics.rscargo test of viv: semantics
-
lang/viv/tests/slices.rscargo test of viv: slices
-
lang/viv/tests/split_build.rscargo test of viv: split_build
-
lang/viv/tests/strings.rscargo test of viv: strings
-
lang/viv/tests/surface.rscargo test of viv: surface
-
lang/viv/tests/trace_inputs.rscargo test of viv: trace_inputs
-
lang/viv/tests/tuples.rscargo test of viv: tuples
-
lang/viv/tests/vmath.rscargo test of viv: vmath
-
lang/viv/tests/wasm_arrays.rscargo test of viv: wasm_arrays
-
lang/viv/tests/wasm_direct.rscargo test of viv: wasm_direct
-
lang/viv/tests/water_scf.rscargo test of viv: water_scf
-
python/tests/test_agent_cli.pypytest: agent_cli
-
python/tests/test_atlas.pypytest: atlas
-
python/tests/test_catalog.pypytest: catalog
-
python/tests/test_compile.pypytest: compile
-
python/tests/test_cuda_sim.pypytest: cuda_sim
-
python/tests/test_digits.pypytest: digits
-
python/tests/test_frames.pypytest: frames
-
python/tests/test_gguf.pypytest: gguf
-
python/tests/test_gpt.pypytest: gpt
-
python/tests/test_magic.pypytest: magic
-
python/tests/test_ode.pypytest: ode
-
python/tests/test_optimize.pypytest: optimize
-
python/tests/test_power.pypytest: power
-
python/tests/test_sisso.pypytest: sisso
-
python/tests/test_stats.pypytest: stats
-
python/tests/test_translate.pypytest: translate
-
python/tests/test_vipyr.pypytest: vipyr
-
python/tests/test_vipyr_programs.pypytest: vipyr_programs
-
python/tests/test_wheels.pypytest: wheels
-
tests/cc/C programs the C front end compiles and runs
-
tools/export/test_skyrmehf.pypytest: skyrmehf
-
tools/fuzz/test_fuzz.pypytest: fuzz
-
tools/gate/test_lanes.pypytest: lanes
-
tools/gate/test_load.pypytest: load
-
tools/jupyter/tests/test_figures_corpus.pypytest: figures_corpus
-
tools/jupyter/tests/test_kernel.pypytest: kernel
-
tools/jupyter/tests/test_runner.pypytest: runner
-
tools/jupyter/tests/test_vivnb.pypytest: vivnb
-
tools/py2viv/tests/test_growable.pypytest: growable
-
tools/py2viv/tests/test_np_bcast.pypytest: np_bcast
-
tools/py2viv/tests/test_np_core.pypytest: np_core
-
tools/py2viv/tests/test_np_random.pypytest: np_random
-
tools/py2viv/tests/test_py2viv.pypytest: py2viv
-
tools/py2viv/tests/test_py_classes.pypytest: py_classes
-
tools/py2viv/tests/test_py_funcs.pypytest: py_funcs
-
tools/py2viv/tests/test_py_infer.pypytest: py_infer
-
tools/py2viv/tests/test_py_int_enum.pypytest: py_int_enum
-
tools/py2viv/tests/test_py_maps.pypytest: py_maps
-
tools/py2viv/tests/test_py_str.pypytest: py_str
-
tools/py2viv/tests/test_rules.pypytest: rules
-
tools/vivdb/test_vivdb.pypytest: vivdb
-
www:algo:checksite check algo:check
-
www:claimstestsite check claimstest
-
www:codemap:checksite check codemap:check
-
www:dfttestsite check dfttest
-
www:doctestsite check doctest
-
www:enginebrowsertestsite check enginebrowsertest
-
www:enginetestsite check enginetest
-
www:explorebrowsertestsite check explorebrowsertest
-
www:figuretestsite check figuretest
-
www:flip:checksite check flip:check
-
www:gallery:checksite check gallery:check
-
www:graphbrowsertestsite check graphbrowsertest
-
www:multipathbrowsertestsite check multipathbrowsertest
-
www:nbtestsite check nbtest
-
www:notebooktestsite check notebooktest
-
www:palette:checksite check palette:check
-
www:postviewtestsite check postviewtest
-
www:programtestsite check programtest
-
www:readbrowsertestsite check readbrowsertest
-
www:sitetestsite check sitetest
-
www:tourtestsite check tourtest
-
www:zoomwalkbrowsertestsite check zoomwalkbrowsertest
-
www:zoomwalktestsite check zoomwalktest
gate 78
A check of the gate (tools/gate/gate.py).
-
3e-enginesevery program in engines/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-libevery program in lib/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-algoevery program in lib/algo/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-algo-legacyevery program in lib/algo/legacy/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-algo-legacy-testsevery program in lib/algo/legacy/tests/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-algo-testsevery program in lib/algo/tests/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-casevery program in lib/cas/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-cas-checkevery program in lib/cas/check/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-ccevery program in lib/cc/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-cc-testsevery program in lib/cc/tests/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-ggufevery program in lib/gguf/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-gguf-testsevery program in lib/gguf/tests/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-gptevery program in lib/gpt/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-hfevery program in lib/hf/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-hf-testsevery program in lib/hf/tests/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-odeevery program in lib/ode/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-randlaevery program in lib/randla/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-rv32every program in lib/rv32/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-rv32-testsevery program in lib/rv32/tests/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-rv32-tests-riscvevery program in lib/rv32/tests/riscv/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-lib-statsevery program in lib/stats/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-pdeevery program in pde/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-portseach port's parity programs in three engines (not the production-size or _t timing programs)
-
3e-postsevery program in posts/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-scfevery program in scf/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-study-benchmarks-viv-nasevery program in study/benchmarks/viv/nas/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-tests-intsevery program in lang/viv/tests/ints/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
3e-tests-phrasesevery program in lang/viv/tests/phrases/ in three engines, identical output (tools/three-engines.sh, one program at a time)
-
algo-runlib/algo's specification, with the programs run
-
algo-speclib/algo's specification (no runs)
-
arch-checkthe architecture lens holds its ratchet (arch_ratchet.json)
-
bench-smoketwo micro benchmarks (provisional: a failure warns, it does not fail the gate)
-
bugsevery fixed bug in bugs/ledger.jsonl names a test that exists; its bugs/tests programs pass in three engines (its cargo tests run in cargo-test)
-
buildthe release compiler
-
cargo-testevery Rust test in the workspace but the application-sized ones (cargo-test-app), two test binaries at a time (tools/gate/cargo_tests.py), and the doc tests
-
cargo-test-appcargo-test's application-sized test binaries (water SCF, molecule db, MD, geomopt, FEM)
-
cc-corpuslib/cc/tests/corpus.viv holds what clang -O0 on the host prints and returns for each tests/cc program
-
claim-programsthe fast claims (claims/): each Viv program and its vipyr twin pass, agree on every value both print, and establish every number their statement gives (tools/c…
-
claim-programs-heavythe heavy claims (cost: heavy, such as the dense-LU timing on case2383wp), as the fast ones
-
compareevery Python/Viv pair of study/compare, and three-engines on each topic
-
cuda-simexamples/cuda's kernels against the same kernels in numba, run by numba's CUDA simulator, bit for bit (python/tests/test_cuda_sim.py, by a Python with numba; s…
-
dftplane-wave DFT reproduces its references
-
dft-wasmthe committed DFT wasm modules are built from these sources
-
engines-wasmthe committed engine wasm modules are built from these sources
-
exportevery *.export.toml exported, built and tested through Python (tools/export_ci.sh)
-
fast-checkviv check --fast holds a program using every freedom within tolerance; FMA is on and off as asked
-
fast-identitythe fast build with its three freedoms taken away prints the exact bytes
-
features-ratchetno
viv features --usagepattern count rises above tools/gate/features_ratchet.json -
fuzzthe C runtime fuzzed against the interpreter, new seeds
-
gate-teststhe gate's own tests: lanes, fail-fast, tiers and path triggers, the load handling
-
gguflib/gguf against gguf-py 0.19.0 on the fixture and the tinyllamas models when present (each skipped when absent), in three engines
-
hub-goldenhub-golden snapshot against main's; a run output that changed fails
-
hub-golden-nightlyhub-golden snapshot against the previous nightly's
-
lens-coverageintent coverage holds its ratchet (lens_coverage.json)
-
licensesREUSE licensing: every tracked file has a license and a copyright, each license's text is in LICENSES/, hand-written sources carry an SPDX header, nothing is G…
-
memcheckASan/UBSan on every program, memory flat in loop length, races, fuzz
-
memcheck-quickASan/UBSan on one program in four, short fuzz
-
minpackthe MINPACK port against the Fortran (the minpack family's smoke test: 12 seconds)
-
nas-timingNPB suite 5 at classes S and W: built, verified, timed (provisional: a failure warns)
-
polybenchsuite 4: all 30 PolyBench kernels at MINI, C vs NumPy vs Viv in every engine, the exact engines byte-identical, viv check --fast
-
polybench-smokesuite 4 timing smoke: two PolyBench kernels at SMALL (provisional: warns, does not fail)
-
port-verifyport.py verify for every port (study/ports/*/port.toml)
-
py2vivpy2viv's rules and its tests
-
py2viv-rulespy2viv's rule tables and ledger, static (postmerge runs the differential tests)
-
scflib/hf's name, size and architecture lints, the generated kernels, its lenses and coverage (its programs run in 3e-lib-hf, 3e-lib-hf-tests and 3e-scf)
-
smoke-dftsmoke: dft/ lint and lenses, silicon in both DFT engines
-
smoke-exportsmoke:
viv exportof lib/skyrme/skyrmehf.export.toml, built and tested through Python (tools/export_ci.sh) -
smoke-hfsmoke: lib/hf/tests/hf.viv (RHF on H2 in STO-3G among others) in three engines: everything that loads lib/hf
-
smoke-postsmoke: one post in three engines
-
vipyrthe Python package vipyr: load, the cache, inference, the import hook, stubs, a library wheel and vipyr's platform wheel in fresh venvs (python/tests; test_cud…
-
vivdbthe program database: build on tools/vivdb/fixture, byte spans, an idempotent rebuild, the impact, dead-code and tests-covering queries
-
vivsmithvivsmith for 25 minutes on new seeds: three engines and the C under ASan/UBSan, every failure kept and reduced in target/gate/vivsmith (tools/fuzz/run.py)
-
vivsmith-smokevivsmith: 100 random programs (fixed seeds) in the interpreter, native C and wasm, the same bytes (tools/fuzz/run.py; seeds failing on an open bug are listed i…
-
wasmviv.wasm with the runtime exports (three-engines runs engine 3 on it)
-
www-checkthe site's staging and every
npm run checktest, one script at a time (tools/gate/www_check.py; py2viv:rules and algo:check are the py2viv and algo-spec chec… -
www-staticthe parts of
npm run checkthat read only committed files -
xc-oracleviv-xc: every translated functional against libxc 6.1.0; fails when a status in xc/tests/expected.json changes
-
xc-smokeviv-xc: the smoke set of LDA/GGA functionals (xc/tests/oracle.py SMOKE) against libxc 6.1.0, the copy PySCF ships; zk, vrho, vsigma, unpolarized and polarized