An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: modeling-language

ampl/mo-book.ampl.com Fork of fdabrandao/MO-book-with-AMPL

Hands-On Mathematical Optimization with AMPL in Python

Language: Jupyter Notebook - Size: 324 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 24 - Forks: 7

metab0t/PyOptInterface

Efficient modeling interface for mathematical optimization in Python

Language: C++ - Size: 4.24 MB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 266 - Forks: 15

jump-dev/JuMP.jl

Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

Language: Julia - Size: 269 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2,294 - Forks: 405

rcasteran/jarvis4se

JARVIS for Systems Engineers

Language: Python - Size: 1.48 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 3 - Forks: 1

xcsp3team/PyCSP3-models

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

Language: Python - Size: 16.3 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 8 - Forks: 1

SciML/ComponentArrays.jl

Arrays with arbitrarily nested named components.

Language: Julia - Size: 4.72 MB - Last synced at: 3 days ago - Pushed at: 25 days ago - Stars: 313 - Forks: 37

Aderivaldii/optimization-problems

🚀 A Python repository showcasing optimization techniques for Machine Learning including LP, Newton's methods, LASSO, and convex optimization. 📈🐍

Language: Python - Size: 316 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

Pyomo/pyomo

An object-oriented algebraic modeling language in Python for structured optimization problems.

Language: Python - Size: 92.3 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 2,158 - Forks: 530

cvxpy/cvxpy

A Python-embedded modeling language for convex optimization problems.

Language: C++ - Size: 203 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 5,710 - Forks: 1,091

cluesurf/tree

A Modeling Notation ꕤ

Language: TypeScript - Size: 5.19 MB - Last synced at: 6 days ago - Pushed at: 20 days ago - Stars: 15 - Forks: 0

ampl/rAMPL

R API for AMPL

Language: C++ - Size: 930 KB - Last synced at: 8 days ago - Pushed at: about 2 months ago - Stars: 15 - Forks: 8

nest/nestml

A domain specific language for neuron and synapse models in spiking neural network simulation

Language: Python - Size: 129 MB - Last synced at: 12 days ago - Pushed at: 13 days ago - Stars: 57 - Forks: 51

infiniteopt/InfiniteOpt.jl

An intuitive modeling interface for infinite-dimensional optimization problems.

Language: Julia - Size: 13.6 MB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 269 - Forks: 21

cog-imperial/OMLT

Represent trained machine learning models as Pyomo optimization formulations

Language: Python - Size: 13.1 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 305 - Forks: 61

ampl/amplpy

Python API for AMPL

Language: Cython - Size: 3.26 MB - Last synced at: 10 days ago - Pushed at: 13 days ago - Stars: 79 - Forks: 20

adjivas/ml

A library to generating UML language from Rust's project into graphiz/dot file.

Language: Rust - Size: 680 KB - Last synced at: 13 days ago - Pushed at: over 7 years ago - Stars: 85 - Forks: 16

CESNET/libyang

YANG data modeling language library

Language: C - Size: 43.8 MB - Last synced at: 11 days ago - Pushed at: 13 days ago - Stars: 382 - Forks: 301

GAMS-dev/gams.jl

A MathOptInterface Optimizer to solve JuMP models using GAMS

Language: Julia - Size: 196 KB - Last synced at: about 8 hours ago - Pushed at: about 2 months ago - Stars: 35 - Forks: 4

modsim/FluxML

A Universal Modeling Language for Metabolic Flux Analysis

Language: C++ - Size: 2.02 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 12 - Forks: 6

opencobra/swiglpk

Simple swig bindings for the GNU Linear Programming Kit

Language: Python - Size: 19 MB - Last synced at: 23 days ago - Pushed at: about 2 months ago - Stars: 28 - Forks: 10

saob007/Modelado_rentabilidad_fic_proyecto

Análisis exploratorio de datos (EDA) para estudiar la incidencia de las características internas y operativas de los fondos de inversión colectiva sobre su rentabilidad mensual durante el año 2024, e identificar posibles relaciones significativas entre las variables que puedan conducir a la creación de un modelo analítico eficiente.

Language: Jupyter Notebook - Size: 1.9 MB - Last synced at: 27 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

exanauts/ExaModels.jl

An algebraic modeling and automatic differentiation tool in Julia Language, specialized for SIMD abstraction of nonlinear programs.

Language: Julia - Size: 3.81 MB - Last synced at: 12 days ago - Pushed at: 16 days ago - Stars: 57 - Forks: 6

cvxgrp/dsp

A CVXPY extension for saddle problems

Language: Python - Size: 1.42 MB - Last synced at: 8 days ago - Pushed at: 4 months ago - Stars: 26 - Forks: 3

BlackBeltTechnology/judo-community

JUDO Community Aggragator Repository

Language: Python - Size: 460 KB - Last synced at: 17 days ago - Pushed at: over 1 year ago - Stars: 24 - Forks: 5

arminmoin/ML-Quadrat

ML-Quadrat (ML2) is a Model-Driven Software Engineering (MDSE) tool with full code generation and out-of-the-box Machine Learning (ML) support at the modeling layer for creating smart services for the Internet of Things (IoT) and Cyber-Physical Systems (CPS).

Language: Java - Size: 45.6 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 26 - Forks: 5

SeelabFhdo/lemma

Home of the Language Ecosystem for Modeling Microservice Architecture (LEMMA)

Language: Java - Size: 89.5 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 34 - Forks: 8

gusenov/modeling-languages

Языки моделирования.

Language: Alloy - Size: 4.61 MB - Last synced at: 2 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

tkoolen/Parametron.jl

Efficiently solving instances of a parameterized family of (possibly mixed-integer) linear/quadratic optimization problems in Julia

Language: Julia - Size: 339 KB - Last synced at: 2 days ago - Pushed at: about 4 years ago - Stars: 73 - Forks: 7

gama-platform/gama.old

Main repository for developing the 1.x versions of GAMA

Language: Java - Size: 1.1 GB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 300 - Forks: 99

xcsp3team/PyCSP3

A Python Library for modeling combinatorial constrained problems

Language: Python - Size: 204 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 56 - Forks: 7

yepengding/Seniz

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

Language: Java - Size: 897 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

yepengding/Kiwami

A generic bounded model checker.

Language: Java - Size: 90.8 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

fdabrandao/pympl

Mathematical Programming Toolbox for AMPL/GMPL

Language: Python - Size: 996 KB - Last synced at: 8 days ago - Pushed at: about 6 years ago - Stars: 14 - Forks: 3

TelluIoT/ThingML

The ThingML modelling language

Language: Java - Size: 310 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 101 - Forks: 32

mandolaerik/device-modeling-language Fork of intel/device-modeling-language

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

Language: Python - Size: 2.24 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 4 - Forks: 0

mknecht/dreitafel

Software architecture documentation and discussion made simple

Language: Go - Size: 200 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 0

Modelio-R-D/CamelDesigner

Modelio Extension for Camel Modeling. Camel Designer Module is conceived to help in designing Cloud Application Modelling and Execution Language (CAMEL) ( camel-dsl.org )

Language: Java - Size: 65.4 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 0

mojtaba-eshghie/SmartContractDesignPatternsInDCRGraphs

A Comprehensive Collection of DCR Graph Model of High-Level Design Patterns in Smart Contracts

Language: Shell - Size: 277 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

ODU-CGA-CubeSat/dof-cubesat Fork of Mach30/dof

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

Language: Python - Size: 211 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

SeelabFhdo/ddmm

Domain-driven Microservice Modeling (outdated). Find us here now: https://github.com/SeelabFhdo/lemma.

Language: Java - Size: 14.3 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 1

consiste/sysadl

SysADL Studio implements an Eclipse plug-in for SysADL Language, allowing both textual and graphical description, also supporting model simulation.

Language: Java - Size: 112 MB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 4

sshin23/MadDiff.jl

An automatic differentiation and algebraic modeling package

Language: Julia - Size: 4.63 MB - Last synced at: 17 days ago - Pushed at: over 2 years ago - Stars: 18 - Forks: 2

HydLa/webHydLa

a web interface of HydLa

Language: TypeScript - Size: 5.25 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 4

xatkit-bot-platform/xatkit-eclipse 📦

Eclipse-based editors to create bots

Language: Xtend - Size: 396 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 2

andre-st/umlet-palettes 📦

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

Size: 40 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

Tracari/Pewlett-Hackard-Analysis

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

Size: 21 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

xhub/EMP.jl

Extended Mathematical Programming in Julia

Language: Julia - Size: 92.8 KB - Last synced at: 13 days ago - Pushed at: almost 3 years ago - Stars: 15 - Forks: 2

SysMLinJavaModeler/SysMLinJava

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

Language: Java - Size: 4.97 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

SysMLinJavaModeler/SysMLinJavaModelExamples

Example SysMLinJava models

Language: Java - Size: 2.77 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

wgtsantos/Modelagem_Sistemas_PHP

Aplicando a Modelagem de Sistemas com PHP, seguindo o Diagrama de Classes e Objetos

Language: PHP - Size: 76.2 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

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

Language: Python - Size: 671 KB - Last synced at: 12 months ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

arranstewart-dev/alloy-analyser-gitpod

Alloy analyser running in gitpod.io

Language: Python - Size: 7.81 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

aldma/ScSTO.jl

Sparse, constrained switching times optimization

Language: Julia - Size: 65.4 KB - Last synced at: 5 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

adobe/Chronikis

A compiler for Bayesian time series models.

Language: Haskell - Size: 9.44 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 22 - Forks: 5

uchibeke/composer-form

A modeling tool for generating a web form from a blockchain model type and validating and submitting the filled out form to a Hyperledger Blockchain

Language: JavaScript - Size: 756 KB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 9

slopest/engine

📽 Engine for the Slopest route modeling language

Language: JavaScript - Size: 242 KB - Last synced at: 11 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

papandas/Finance-Fabric-PoC

Hyperledger fabric multi-party finance network PoC

Language: JavaScript - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 2

hsgodhia/agm_language_model

Aggregate markov language model (Saul & Pereira)

Language: Python - Size: 2.59 MB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

Related Keywords
modeling-language 58 optimization 19 modeling 11 python 10 modeling-tool 8 nonlinear-optimization 8 julia 7 mathematical-programming 7 nonlinear-programming 7 linear-programming 6 mixed-integer-programming 6 simulation 5 domain-specific-language 4 modeling-tools 4 uml 4 mathematical-modelling 4 ampl 4 java 4 eclipse-plugin 3 model-driven-development 3 julia-language 3 numerical-optimization 3 formal-methods 3 integer-linear-programming 3 linear-optimization 3 mbse 3 mixed-integer-optimization 3 milp 3 mip 3 dot 2 c 2 low-code 2 integer-programming 2 constraint-satisfaction-problem 2 internet-of-things 2 thingml 2 architecture-viewpoints 2 domain-driven-development 2 cvxpy 2 hyperledger-fabric 2 hyperledger-composer 2 hyperledger 2 nlp 2 sysml 2 requirements-management 2 eclipse 2 diagram 2 xtext 2 javascript 2 optimization-tools 2 modeling-environment 2 model-driven-engineering 2 model-driven-architecture 2 microservices-architecture 2 microservices 2 microservice-toolkit 2 mde 2 constraints 2 systems-engineering 2 conic-programs 2 constrained-optimization 2 library 2 dynamical-systems 2 constraint-based-modeling 2 models 2 convex-optimization 2 xcsp3 2 differential-equations 2 machine-learning 2 amplpy 2 constraint-programming 2 mathematical-optimization 2 ethereum 1 desgin-pattern 1 modelling-tool 1 modelling-framework 1 onnx 1 solidity 1 cubesat 1 yaml-schema 1 computer-aided-engineering 1 python3 1 software-architecture 1 sysadl 1 hybrid-systems 1 hydla 1 chatbot-grammar 1 intents 1 sirius 1 xtext-project 1 elicitation 1 bilevel-optimization 1 ctl 1 kripke-structure 1 ltl 1 minimization 1 model-checking 1 arduino 1 eclipse-modeling 1 golang 1