modeling-language
There are 62 repositories under modeling-language topic.
mknecht/dreitafel
Software architecture documentation and discussion made simple
modolanguage/www
Modo Language Web Site
mojtaba-eshghie/SmartContractDesignPatternsInDCRGraphs
A Comprehensive Collection of DCR Graph Model of High-Level Design Patterns in Smart Contracts
rcasteran/jarvis4se
JARVIS for Systems Engineers
SeelabFhdo/ddmm
Domain-driven Microservice Modeling (outdated). Find us here now: https://github.com/SeelabFhdo/lemma.
utrc/iml
IML (Intermediate Modeling Language) is a formal, expressive, and flexible language that designed to close the gap between design domain and formal verification tools.
xatkit-bot-platform/xatkit-eclipse
Eclipse-based editors to create bots
bhattg/Decay-RNN-ACL-SRW2020
This is an official pytorch implementation for the experiments described in the paper - "How much complexity does an RNN architecture need to learn syntax-sensitive dependencies?", Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics: Student Research Workshop
jongmana/uiaml
UiaML specification, a visual language to model sitemaps and page blueprints
yepengding/Kiwami
A generic bounded model checker.
andre-st/umlet-palettes
UMLet ISTAR-palette for goal oriented requirements engineering (GORE)
hsgodhia/agm_language_model
Aggregate markov language model (Saul & Pereira)
mediator-team/mediator
a formal modeling tool that helps build reliable models and codes
papandas/Finance-Fabric-PoC
Hyperledger fabric multi-party finance network PoC
roweyerboat/Pump_It_Up_MLProject
This repo contains my files for competing in the Driven Data Competition Pump It Up: Data Mining the Water Table. I went through several different models to classify wells as functioning, not function, or functioning needs repair. I had the most success using the Random Forest classifier while using GridSearch to tune the parameters for the best outcome.
aldma/ScSTO.jl
Sparse, constrained switching times optimization
ODU-CGA-CubeSat/dof-cubesat
Extension of the Distributed OSHW Framework (DOF) for modeling CubeSats
slopest/engine
📽 Engine for the Slopest route modeling language
SysMLinJavaModeler/SysMLinJava
API for developing SysML models in the Java programming language - for more precise MBSE
SysMLinJavaModeler/SysMLinJavaModelExamples
Example SysMLinJava models
Tracari/Pewlett-Hackard-Analysis
Using SQL, import, query, construct, and catalogue a company’s employee database to evaluate and resolve workforce turnover
yepengding/Seniz
Seniz is a domain-specific language designed for Formalism-Driven Development (FDD).
arranstewart-dev/alloy-analyser-gitpod
Alloy analyser running in gitpod.io
gusenov/modeling-languages
Языки моделирования.
wgtsantos/Modelagem_Sistemas_PHP
Aplicando a Modelagem de Sistemas com PHP, seguindo o Diagrama de Classes e Objetos