Topic: information-flow Goto Github
Some thing interesting about information-flow
Some thing interesting about information-flow
information-flow,Calculation of Renye Transfer Entropy
User: acharyakishor
information-flow,Docker wrapper for ITM Probe information flow tool
User: alubbock
information-flow,Software Security Projects : pentesting and static analysis
User: bfreitas16
information-flow,An extension of the Dafny programming language that adds the ability to perform information flow analysis on a code file. The method of information flow analysis allows the verification of concurrent programs.
User: d-parkinson1
information-flow,Very simple information flow aware compiler with Flex, Bison, LLVM, C/C++
User: dfava
information-flow,Social network analysis code examples for PyCon 2019 talk
User: dimgold
Home Page: https://www.youtube.com/watch?v=px7ff2_Jeqw
information-flow,
User: diogocp
information-flow,The Agda mechanization of a gradual security-typed programming language with general mutable references.
Organization: gradual-typing
Home Page: https://homes.luddy.indiana.edu/chen512/lambdaifcstar-html/
information-flow,A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier
User: lceragioli
information-flow,A Kalman Filter in Simulink for easier understanding.
User: m31l3r
information-flow,Bots detection on Twitter based on information flow and link analysis
User: matbut
information-flow,A next-generation secure smart contract language for Ethereum.
User: neroysq
information-flow,The Health Data Consent Manager is an entity that acts as a consent collector for the Customer and mediates the Health Information data flows from the HIP to the recipient HIU or the Customer.
Organization: projecteka
information-flow,Granger Causality with Signal-dependent Noise
User: qluo2018
information-flow,Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems
Organization: sireum
Home Page: http://awas.sireum.org/
information-flow,Capstone project of the Coursera "Object Oriented Java Programming: Data Structures and Beyond" specialization. It investigates the cascading behavior (or information flow) within a social network.
User: solangeug
information-flow,Teaching and Learning Software Analysis via SVF
User: svf-tools
information-flow,Enforcing information flow in C-languages with Clang.
User: teemperor
information-flow,Troupe programming language
Organization: troupelang
Home Page: https://troupe.cs.au.dk
information-flow, Using F* to prove non-interference for a well-typed subset of programs written in a small imperative language
User: tyilo
information-flow,MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs
User: umangm
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.