Topic: maude Goto Github
Some thing interesting about maude
Some thing interesting about maude
maude,An Atom package for The Maude System
User: adamlazz
Home Page: https://atom.io/packages/language-maude
maude,Basic Syntactic Mutation (BSM) is a mutation based unification algorithm for the theories that are saturated by paramodulation.
User: ajayeeralla
maude,We have designed and implementd an algorithm to solve a unification problem modulo ACH (Associativity, Commutativity, Homomorphism) theory.
User: ajayeeralla
maude,A toy language based on rewriting using code from Baader and Nipkow.
User: ayberkt
maude,Executable Specification of Pi-Calculus with Reduction Semantics in Maude.
User: bhaaksema
Home Page: https://fse.studenttheses.ub.rug.nl/25451/
maude,Specification-based Testing Concurrent Java Programs with JPF and Maude
User: canhminhdo
maude,Maude integration and verification for ROS Nav 2
Organization: demiourgoi
maude,Language bindings for Maude
Organization: fadoss
Home Page: https://fadoss.github.io/maude-bindings
maude,Maude to Lean translator
Organization: fadoss
Home Page: https://fadoss.github.io/maude2lean
maude,Model checker for Maude systems controlled by strategies
Organization: fadoss
Home Page: https://maude.ucm.es/strategies
maude,Maude simulator for MultiVeSta
Organization: fadoss
maude,Unified Maude model-checking tool
Organization: fadoss
maude,Auditoría, Calidad y Fiabilidad (UCM, 2015)
User: gorkinovich
maude,System to use model-checking in languages with concurrent programing using message passing
User: gorkinovich
maude,Repo for assignments on NTIN043 (Formal Foundations of Software Engineering)
User: jiriklepl
Home Page: https://d3s.mff.cuni.cz/teaching/ntin043/
maude,The Open Deduction Proof Editor allows proof theorists (or anyone) to deconstruction proofs step by step. It currently supports deep inference formalisms, namely Open Deduction and naturally the Calculus of Structures. The front end of the application is written in Java, while the back end is written in Maude. There is also an implementation of proof search both with and without proof variables.
User: joe-lynch
Home Page: http://alessio.guglielmi.name/res/cos/
maude,confluin does confluence checks for Tamarin input files
User: katrielalex
maude,LTL model checking of Core-Erlang using term rewriting techniques.
User: martin-neuhaeusser
maude,Maude specification of a Patient Controlled Analgesia (PCA) open system
Organization: maude-lang
maude,Formal Methods Specification to model the "Lamport Bakery" using an invented language
User: memoriasit
maude,A Haskell EDSL for conducting threat analysis using Attack Trees
Organization: monoidalattacktrees
maude,Formal verification of Hybrid Post-Quantum TLS protocol
User: nairdaocram
maude,Graphical interface and graph generator for the Maude strategy model checker
User: ningit
maude,Pygments lexers for Maude, both batch and interactive.
User: pthariensflame
maude,A formal semantics framework for OpenFlow networks implemented in Maude 3.1
User: robinadc
maude,Maude model of Raft Algorithm
User: shchae7
maude,Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language
User: skneko
Home Page: http://safe-tools.dsic.upv.es/strass
maude,My blog; https://www.stevenmaude.co.uk
User: stevenmaude
Home Page: https://www.stevenmaude.co.uk
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.