Topic: formal-models Goto Github
Some thing interesting about formal-models
Some thing interesting about formal-models
formal-models,Formal modelling of GitHub in VDM++ - Software Engineering Formal Methods
User: afonsojramos
formal-models,Formal Psychological Models of Categorization and Learning
User: ajwills72
formal-models,SMC2, or Secure Multiparty Computation in C, is the formalization and extension of the PICCO compiler, designed for general purpose secure multiparty computations.
User: amypritc
formal-models,🛠 Formal modelling of a distributed printing service in VDM++ using the Overture Tool.
User: aquelemiguel
formal-models,CaskMan - An OWL ontology to model capabilities and skills in manufacturing
Organization: caskade-automation
formal-models,HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm
User: erwanm974
formal-models,This is a repository that holds all PRISM models developed for my Master's thesis that extend the Task-Graph Scheduling problem to a concurrent stochastic game where the notion of Nash equilibrium is considered.
User: georgcon
formal-models,DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
User: grockious
formal-models,Repair and Generation of Formal Models Using Synthesis (User Interface)
User: joshua27
formal-models,Orchestrator on top of the Typed Ambient Calculus with Resources
Organization: khoras
formal-models,Experiments (Prototypes) for LiSSA -> Now moved to ArDoCo-Core
Organization: lissa-approach
Home Page: https://github.com/ArDoCo/Core/wiki/LiSSA
formal-models,A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
User: maksym-bortin
formal-models,Tamarin models for state continuity of SGX enclave programs
Organization: osuseclab
formal-models,TLA+ specifications of various protocols used by wallets in the nitro protocol.
Organization: statechannels
formal-models,JSON parser/printer for VDM-SL
User: tomooda
formal-models,A little combinatory parser in VDM-SL
User: tomooda
formal-models,ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
User: tomooda
formal-models,a simple virtual machine for VDM by VDM
User: tomooda
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.