couplings

There are 0 repository under couplings topic.

logsem / clutch
Probabilistic separation logics for verifying higher-order probabilistic programs.
coq couplings iris probabilistic relational asynchronous higher-order logic separation-logic
Language:Coq 12
aleximmer / VIND
Variational Inference with Numerical Derivatives: variance reduction through coupling
couplings differentiation variational-inference
Language:Python 1
JuliaFEM / FEMCoupling.jl
Coupling elements for JuliaFEM, including kinematic couplings and distributing couplings.
fem juliafem rbe couplings
Language:Julia
lomatul / Assignment_200042113
It is an assignment about Refactoring and Coupling
couplings refactoring object-oriented-programming
Language:Java

logsem / clutch