Oded Padon's repositories
cytoscape.js-qtip
A Cytoscape.js extension that wraps the QTip jQuery library
Language:JavaScript000
ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
Language:C++NOASSERTION000
ivy-microsoft-fork
odedp's fork of github.com/microsoft/ivy (used to be github.com/odedp/ivy until April 30, 2021)
Language:PythonNOASSERTION000
jquery-dialogextend
jQuery DialogExtend Plugin - Maximize and Minimize Buttons for UI Dialog
Language:CoffeeScriptMIT000
node-replication
An operation-log based approach for data replication.
Language:RustNOASSERTION000