UMLet ISTAR-palette for goal oriented requirements engineering (GORE)

Software architecture documentation and discussion made simple

UiaML specification, a visual language to model sitemaps and page blueprints

Seniz is a domain-specific language designed for Formalism-Driven Development (FDD).

Aggregate markov language model (Saul & Pereira)

📽 Engine for the Slopest route modeling language

A language for writing device models for computer architecture simulators such as Simics®.

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

Alloy analyser running in gitpod.io

IML (Intermediate Modeling Language) is a formal, expressive, and flexible language that designed to close the gap between design domain and formal verification tools.

Extension of the Distributed OSHW Framework (DOF) for modeling CubeSats

API for developing SysML models in the Java programming language - for more precise MBSE

Using SQL, import, query, construct, and catalogue a company’s employee database to evaluate and resolve workforce turnover

Example SysMLinJava models

A Data Modeling Programming Language

A generic bounded model checker.

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…

Models (and data) of constrained problems developped with the library PyCSP3

Sparse, constrained switching times optimization