Shadowgraph
TrendingAbout
Sign in

mskashi/kv

kv - a C++ Library for Verified Numerical Computation

C++

98

77 commits

updated Aug 1, 2026

See the code

README

kv - a C++ Library for Verified Numerical Computation
version 0.4.62

http://verifiedby.me/kv/

Masahide Kashiwagi  kashi@waseda.jp

This software is released under the MIT License, see LICENSE.txt.

Not written in Markdown, so it's shown here as plain text — view it formatted on GitHub.

Contributors

mskashi

77 commits

Similar repos

leanprover/TensorLib

A verified tensor library in Lean

49

numpy/SVML

Vendored files from Intel's SVML

45

boostorg/boost

Super-project for modularized Boost

8,581

electronicarts/eigen-git-mirror

Git mirror of the official Eigen's repository -- PULL REQUEST MUST BE SENT TO:…

8

Sajidsaj/True-Math

2

evaleev/libint

Libint: high-performance library for computing Gaussian integrals in quantum mechanics

266

shehryar-04/VITON

0

PrincetonUniversity/VST

Verified Software Toolchain

507

Languages

C++

100.0%

mskashi/kv

kv - a C++ Library for Verified Numerical Computation

C++

98

77 commits

updated Aug 1, 2026

See the code

README

kv - a C++ Library for Verified Numerical Computation
version 0.4.62

http://verifiedby.me/kv/

Masahide Kashiwagi  kashi@waseda.jp

This software is released under the MIT License, see LICENSE.txt.

Not written in Markdown, so it's shown here as plain text — view it formatted on GitHub.

Similar repos

leanprover/TensorLib

A verified tensor library in Lean

49

numpy/SVML

Vendored files from Intel's SVML

45

boostorg/boost

Super-project for modularized Boost

8,581

electronicarts/eigen-git-mirror

Git mirror of the official Eigen's repository -- PULL REQUEST MUST BE SENT TO:…

8

Sajidsaj/True-Math

2

evaleev/libint

Libint: high-performance library for computing Gaussian integrals in quantum mechanics

266

shehryar-04/VITON

0

PrincetonUniversity/VST

Verified Software Toolchain

507

Contributors

mskashi

77 commits

Languages

C++

100.0%