Movatterモバイル変換

yices2 Public
SRI Yices SMT Solver
SRI-CSL/yices2’s past year of commit activity
SMT 415GPL-3.0 56 43 6 UpdatedJul 8, 2025
PVS Public
The People's Verification System
SRI-CSL/PVS’s past year of commit activity
Common Lisp 156GPL-2.0 33 25 3 UpdatedJul 3, 2025
yices2_ocaml_bindings Public
SRI-CSL/yices2_ocaml_bindings’s past year of commit activity
OCaml 11GPL-3.0 3 0 0 UpdatedJun 29, 2025
sally Public
SRI Sally: A model checker for infinite-state systems.
SRI-CSL/sally’s past year of commit activity
C++ 74GPL-2.0 14 18 0 UpdatedJun 29, 2025
libpoly Public
SRI LibPoly is a C library for manipulating polynomials
SRI-CSL/libpoly’s past year of commit activity
C 51LGPL-3.0 17 11 1 UpdatedJun 20, 2025
BayesAdapt Public
[UAI 2025] - ScalaBL - Bayesian adaptation of LLMs
SRI-CSL/BayesAdapt’s past year of commit activity
Python00 0 0 UpdatedJun 12, 2025
fojax Public
Code corresponding to paper: "Backpropagation-Free Metropolis-Adjusted Langevin Algorithm"
SRI-CSL/fojax’s past year of commit activity
Python0MIT0 0 0 UpdatedMay 23, 2025
homebrew-sri-csl Public
SRI International's Tap
SRI-CSL/homebrew-sri-csl’s past year of commit activity
Ruby 7 3 1 0 UpdatedMay 3, 2025
radler Public
Radler
SRI-CSL/radler’s past year of commit activity
Python 9GPL-3.0 6 0 0 UpdatedApr 30, 2025
trio-quicly Public
Reference implementation of QUIC-LY transport protocol (which is QUIC without encryption) using the Python Trio framework.
SRI-CSL/trio-quicly’s past year of commit activity
Python00 0 0 UpdatedApr 24, 2025