couplings

Here are 5 public repositories matching this topic...

Probabilistic separation logics for verifying higher-order probabilistic programs.

asynchronous coq logic iris probabilistic relational higher-order separation-logic couplings

Coupling elements for JuliaFEM, including kinematic couplings and distributing couplings.

fem rbe juliafem couplings

Variational Inference with Numerical Derivatives: variance reduction through coupling

It is an assignment about Refactoring and Coupling

🔄 Connect, trade, and exchange services among students with Clutch, a mobile marketplace for simple peer-to-peer barter without payments.

debugging firebase library objective-c logging infrastructure-management lyft scrapy logging-library rpc-client cpp-library mvp-android resign higher-order clutch dumpdecrypted couplings spatial-logging

Add a description, image, and links to the couplings topic page so that developers can more easily learn about it.

To associate your repository with the couplings topic, visit your repo's landing page and select "manage topics."