Search Results for "steam model checking" - Page 2
Sort By:
Showing 85 open source projects for "steam model checking"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
Dead Deer 3.14.92.2026
3D modeler, 3D game maker, 3D demo maker
...Support for: Direct3D9 (SM3) Direct3D10 (SM4) Direct3D11 (SM5) Direct3D12 (SM5) OpenGL and GLSL OpenGLES 2/3 Apple METAL Retina, UHD. Intel x86/64, ARMv7/ARM64, RISCV. Linux (Ubuntu/wxWidgets(Gtk3)). iOS /iPasOS (with XCode) (GLES20/METAL) Windows Phone Windows VR (Steam/Oculus) WebAsm/WebGL UWP Windows/XBOX SDL2 Linux ARM 32/64 RISCV OpenXR (Quest?/Pico) 3.14.92.2026 -
2
CerberusCMS5
Cerberus Content Management System
Cerberus Content Management System is a dynamic, secure and infinitely expandable CMS designed after a Unix-Like model. It is a custom written Web Application Framework ( W.A.F. ) with a consistent and custom written Pre-Hyper-Text-Post-Processor Programming Code Framework ( P.C.F. ). This Web Application Software Project' aim is to be the fastest and most secure Web Application Framework, Web Application Programming Code Framework, Text, Voice and Video Communications Platform and Content... -
3
Cerberus Content Management System 6
Cerberus Content Management System
Cerberus Content Management System is a dynamic, secure and infinitely expandable CMS designed after a Unix-Like model complete with a Unix-Like Kernel File named: Cerberus. It is a custom written Web Application Framework ( W.A.F. ) with a consistent and custom written Pre-Hyper-Text-Post-Processor Programming Code Framework ( P.C.F. ). This Web Application Software Project' aim is to be the fastest and most secure Web Application Framework, Web Application Programming Code Framework, Text,... -
4
cerberuscms2
Cerberus Content Management System
Cerberus Content Management System is a dynamic, secure and infinitely expandable CMS designed after a Unix-Like model. It is a custom written Web Application Framework ( W.A.F. ) with a consistent and custom written Pre-Hyper-Text-Post-Processor Programming Code Framework ( P.C.F. ). This Web Application Software Project' aim is to be the fastest and most secure Web Application Framework, Web Application Programming Code Framework, Text, Voice and Video Communications Platform and Content... -
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
5
libgwyfile
Read and write Gwyddion GWY files
Libgwyfile is a small, embeddable library for reading and writing of Gwyddion GWY files as foreign data. This means independently of Gwyddon and without adopting its data object model. -
6
webotron
Using industrial automation techniques for creating web scraping tools
Industry uses machines that can easily maim or kill their operators and is also used in very adverse environments. In spite of this, production quality must be close to perfect without reliance on operator skill or attentiveness. Control programs must be robust, yet simple enough to be understood and maintained by non programmer skilled trades like electricians . The main programming model is the PLC which implements double buffering and an event loop. The most advanced production model... -
7
CoolingPower
Print Steam Tables; Plot diagrams and cycles from equations of state
...Unix-based operating systems also require the Boost program options library. The repository is structured as described in https://nvie.com/posts/a-successful-git-branching-model/ . -
8
text_renderer
Generate text images for training deep learning ocr model
Text Renderer is a Python utility for generating synthetic text images used to train optical character recognition models. It supports Latin and non-Latin writing systems and produces matching labels alongside the generated images. Users can supply their own corpora, fonts, character sets, backgrounds, and YAML configuration files. Available effects include perspective distortion, random cropping, curved text, borders, variable spacing, lines, embossing, color changes, inversion, and blur. A... -
9
Quan is designed to model physical quantities in C++ programs. Advantages include automated dimensional analysis checking, automatic unit conversions, self documentation of code.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
10
Salient OS
An Arch based rolling-release distribution for Gamers / Multimedia
Salient OS is an arch-based rolling-release distribution aimed at multi-media / gaming enthusiasts. It comes pre-configured with various applications out of the box to aid you in getting started quickly without having to download these applications yourself. The default user is 'liveuser' with no password, although auto login is enabled for the live session. The installer can be found in the main menu under the System category, namely, Install Salient OS. Salient OS uses the Calamares... -
11
An open source Solver-compatible optimization engine for Microsoft Excel on Windows and Mac using the Coin-OR CBC linear and integer programming optimizer. You can also use other solvers like Gurobi (if you have it installed), solvers on the NEOS cloud, and various non-linear solvers are supported too.
-
12
THD
Thermal-Hydraulic Dimensioning of solar plants
VBA Excel program for the Thermal-Hydraulic Dimensioning of solar plants. Dimensioning of pipe network, membrane expansion vessels. checking of de-aeration capability. Simulation of steam range during stagnation. -
13
Relativty
An open source VR headset with SteamVR supports for $200
Relativty is not a consumer product. We made Relativty in my bedroom with a soldering iron and a 3D printer and we expect you to do the same, build it yourself. We started Relativty because after watching Sword Art Online we wanted to make our own VR games. Thus Relativty supports SteamVR games and can be modified to add support for any DIY or off-the-shelf VR device. The room-scaling AI can be used with any camera, it tracks your body based on video input. Precision and freedom of movement... -
14
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
-
15
tcomb
Type checking and DDD for JavaScript
tcomb is a JavaScript library for defining and checking runtime types in Node.js and browser environments. It gives developers a concise syntax for modeling values, structures, interfaces, enums, unions, refinements, and other domain-level constraints. The library is useful in JavaScript projects where static type information is unavailable or insufficient at runtime. It can validate external inputs, document data expectations, and support safer programming patterns without requiring a full... -
16
How good is your software? jmove eases the understanding and valuation of the design and architecture of complex software written in java. It provides dependency analysis, metrics, design rule checking and impact analysis.
-
17
CloudMIG Xpress
Find the best suited cloud provider and deployment for your software
To reduce resource over and under-provisioning, software systems can be migrated to IaaS and PaaS-based cloud environments. However, aligning and optimizing existing software systems for a cloud computing foundation often involves substantial reengineering activities or at least an elaborated configuration during the migration. There exist various challenges that have to be addressed, for example, systematically comparing cloud environment candidates, checking the conformance with... -
18
...More specifically, jSAM provides tools that can be used for interactively executing specifications, for simulating their stochastic behaviour and for verifying property satisfaction via stochastic model-checking.
-
19
PyBoolNet is a Python package for the generation, modification and analysis of Boolean networks. Homepage has migrated to https://github.com/hklarner/PyBoolNet This page is only maintained to keep links alive.
-
20
Netlogo BDI FIPA Airport Model
Netlogo BDI FIPA Airport Model
Model of the airport including checking boxes, passport controls, boarding gates, etc. Defined to test the benefits of using Ambient Intelligence in such application domain. It makes use of BDI and FIPA extensions of Netlogo to implement ingoing and outgoing passanger agents. -
21
UML-VT
A Formal Verification Environment for UML Activity Diagrams
UML-VT is an open source Eclipse plug-in that verifies UML activities against given requirements using well-know model checker tools such UPPAAL, SPIN, and NuSMV, and an experimental model checker PES. UML-VT is meant to support the integration of model checking into a MDD process. The integration aims to facilitate the use formal verification in the early phases of the development, and to create an easy to use interface regardless of the users knowledge of formal methods. ... -
22
GenNet
A Tool for Qualitative and Quantitative Modeling of Gene Regulatory Ne
A Tool for Qualitative and Quantitative Modeling of Gene Regulatory Networks. GenNet is a Java based tool called that facilitate the model checking user by providing a unique GUI layout for both qualitative and quantitative modeling of GRNs. GenNet also assists the modeling users by providing some extra features i.e. CTL editor, parameters filtering and input/output files management. Download pre-installed GenNet Virtual Box Image here https://www.dropbox.com/s/9ryvs1f22zc181y/GenNet-1.3.28.ova?... -
23
-
24
Stratagem Model Checker
Stratagem Model Checker
...StrataGEM describes the semantics of a system in terms of strategies over a TR system, and automatically translates these rules into operations on DD to handle the model-checking. The ultimate goal of StrataGEM is to become a verification framework for the different variants of Petri nets by separating the semantics of the model from the computation that performs model-checking. -
25
Counting Fluents - LTSA
Counting Fluents Labelled Transition System Analyser
...As opposed to the binary nature of fluents (which are logical propositions), counting fluents are numerical values, that enumerate event occurrences, and allow one to specify naturally some properties of reactive systems, such as bounded liveness and other properties in which the number of occurrences of certain events is relevant. CFLTL is an undecidable, strictly more expressive, extension of fluent linear temporal logic. Although a sound (but incomplete) model checking approach for the logic can be used.
