Search Results for "dynamical systems toolbox"
Sort By:
Showing 23 open source projects for "dynamical systems toolbox"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
tlaplus
TLC is an explicit state model checker for specifications in TLA+
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code. -
2
QuantumOptics.jl
Library for the numerical simulation of closed as well as open quantum
QuantumOptics.jl is a numerical framework written in the Julia programming language that makes it easy to simulate various kinds of open quantum systems. It is inspired by the Quantum Optics Toolbox for MATLAB and the Python framework QuTiP. QuantumOptics.jl optimizes processor usage and memory consumption by relying on different ways to store and work with operators. The framework comes with a plethora of pre-defined systems and interactions making it very easy to focus on the physics, not on the numerics. ... -
3
Geodesic
Geodesic is a DevOps Linux Toolbox in Docker
Geodesic is a robust Linux toolbox container, crafted to optimize DevOps workflows. This container comes fully loaded with all essential dependencies for a complete DevOps toolchain. It's designed to bring consistency and boost efficiency across development environments. It achieves this without the need for installing additional software on your workstation. Think of Geodesic as a containerized parallel to Vagrant, offering similar functionality within a Docker container context. -
4
Flutter Server Box
ServerBox - server status & toolbox
Flutter Server Box (aka ServerBox) is a Flutter app that monitors and manages Linux servers. It provides charts for CPU, memory, disk, network, and tools like SSH terminal, file manager, and commands via dartssh2 & xterm.dart. Available on iOS, Android, desktop, and TV platforms, it's community-acclaimed as a lightweight alternative to Termius/ServerCat. -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
Continuation Core and Toolboxes (COCO)
Toolboxes for parameter continuation and bifurcation analysis.
Development platform and toolboxes for parameter continuation, e.g., bifurcation analysis of dynamical systems and constrained design optimization. This material is based upon work partially supported by the National Science Foundation under Grant No. 1016467 and the Danish research council (FTP) under the project number 0602-00753B. Any opinions, findings, and conclusions or recommendations expressed on this site are those of the authors and do not necessarily reflect the views of the National Science Foundation or other funding sources. ... -
6
Sparx' EA - MDG for TRAK
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
Custom add-in (MDG technology) for Sparx Systems Enterprise Architect UML modelling tool (https://sparxsystems.com/products/ea/index.html) to create architecture descriptions using TRAK https://sf.net/projects/trak Provides: - the set of TRAK views that can be represented using UML and SysML . Each view display a custom toolbox palette with the objects and relationships that are needed for that TRAK view - relationships can be made directly from the objects on a view using the Quicklink feature which presents the allowed relationship(s) by TRAK between the pair of objects selected - a custom set of searches. ... -
7
TRURL
A suite of RPN calculators and a class library for Object Pascal
TRURL is a suite of desktop calculators with reverse Polish notation (RPN) written in Object Pascal. Additionally, it comes with a free reusable class library (RPN Engine) as a toolbox for creating your own calculator. TRURL is an acronym for "TRURL is a Reusable Universal RPN Library". Class Libraries: • RPN Engine: Full-featured calculation engine for Pascal-based RPN calculators • Segmitator: Library for virtual seven-segment displays Applications: • TRURL A: Simple demo app... -
8
KitX
An all-purpose toolbox app that connect everything
KitX is an open and extensible tools platform that enables users to create, share, and connect modular functionality through a plugin-based architecture. The system is designed around the concept of atomized functions, where each plugin provides small, independent capabilities that can be dynamically combined to form more complex workflows. Developers can build plugins using their preferred programming languages and frameworks, then distribute them through a shared marketplace where users... -
9
SYSMOD - The Systems Modeling Toolbox
SYSMOD4MD is a plugin for the modeling tool MagicDraw (aka Cameo)
SYSMOD is a model-based systems engineering methodology. The SYSMOD4MD plugin for the SysML modeling tool MagicDraw (aka Cameo Systems Modeler) provides the SYSMOD profile, i.e., the stereotypes required for the SYSMOD methodology. In addition, the project contains sample projects and templates. The latest version v4.2 also works for Cameo v2021. -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
10
Personal Blog
One article per week, the content is concise, neither salty nor light
...This makes the repo act as a navigable table of contents and knowledge map for a large body of Chinese-language backend engineering content. It also includes “toolbox” and miscellaneous categories. -
11
Kalibr Allan
IMU Allan standard deviation charts
kalibr_allan is a utility repository that provides scripts and tools for calculating IMU noise parameters for use in Kalibr and other IMU filtering systems. While manufacturers typically provide “white noise” values in IMU datasheets, the bias instability and random walk parameters must be determined experimentally. This project enables users to compute those values using Allan variance analysis from recorded IMU data. The workflow involves recording IMU measurements with the device... -
12
DRAMMS
A Deformable Medical Image Registration Toolbox
DRAMMS is a software package designed for 2D-to-2D and 3D-to-3D deformable medical image registration tasks. Released by Section of Biomedical Image Analysis (SBIA) at the University of Pennsylvania. Some typical applications of DRAMMS include, -- Cross-subject registration of the same organ (can be brain, breast, cardiac, etc); -- Mono- and Multi-modality registration (MRI, CT, histology); -- Longitudinal registration (pediatric brain growth, cancer development, mouse... -
13
The TErminology for the Description of DYnamics (TEDDY) project aims to provide an ontology for dynamical behaviours, observable dynamical phenomena, and control elements of bio-models and biological systems in Systems Biology and Synthetic Biology.
-
14
BRAHMS is a Modular Execution Framework for dynamical systems. It knits together independently-authored software modules implementing dynamical processes into an integrated system, and supervises the deployment and execution of that system.
-
15
T3S Tool
Learning Stochastic Discrete Event Systems
Stochastic discrete event system analysis and verification are essential in order to ensure reliability in such systems. However, models that cannot be constructed with an hand-made process need to be learned. Thus, the SDES toolbox proposes an automated solution that is embedded in Matlab to learning and analisis generalized semi-Markov processes. -
16
A gentle and humble toolbox for those of us that love C++. It provides support for sockets, serial devices, components/plugins and many other features. People use it for developing apps that run on desktop/server systems and embedded appliances.
-
17
A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.
-
18
Narrator is a graphical modelling tool for the description of dynamical systems and processes. Narrator is SBML compatible.
-
19
-
20
A multi purpose toolbox type library for the FreeBasic programming language. Also with the toolbox, a full fledged Text/ASCII application framework will be developed.
-
21
Apache Toolbox provides a means to easily compile Apache with over 63 3rd parts modules and options.
-
22
LOOP (Language Object Oriented Parallel) is a visual programming language project dedicated to creating a full suite of components for simulation of hierarchical dynamical systems in discrete time.
-
23
Code Interface Node ( cin ) is c code which is linked into LabView cin icons. These icon and hence cin can then extend the functionality of LabView for linux. Lets place our changes and newly developed CIN in this public toolbox.
- Previous
- You're on page 1
- Next
