Popular repositories Loading

1. TernaryTest TernaryTest Public

   Test cases for the Modelica Ternary type

   Modelica 2 1

2. ModelicaSpecificationGraphics ModelicaSpecificationGraphics Public

   Graphics for the Modelica language specification

   TeX 1 1

3. ModelicaSpecification ModelicaSpecification Public

   Forked from modelica/ModelicaSpecification

   Specification of the Modelica Language

   TeX 2

4. cadical cadical Public

   Forked from arminbiere/cadical

   CaDiCaL SAT Solver

   C++

5. ModelicaStandardLibrary ModelicaStandardLibrary Public

   Forked from modelica/ModelicaStandardLibrary

   Free (standard conforming) library from the Modelica Association to model mechanical (1D/3D), electrical (analog, digital, machines), magnetic, thermal, fluid, control systems and hierarchical stat…

   Modelica 1

6. MCP033Examples MCP033Examples Public

   Forked from otronarp/MCP033Examples

   Modelica