14 projects for "dynamical systems toolbox" with 2 filters applied:

  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Try Free
  • 1
    tlaplus

    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.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 2
    QuantumOptics.jl

    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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Sparx' EA - MDG for TRAK

    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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    TRURL

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 5
    Personal Blog

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Kalibr Allan

    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...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7

    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...
    Downloads: 19 This Week
    Last Update:
    See Project
  • 8
    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.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 9
    Narrator is a graphical modelling tool for the description of dynamical systems and processes. Narrator is SBML compatible.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 10
    The VR Juggler Toolbox is a collection of libraries and tools for use with VR Juggler applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Apache Toolbox provides a means to easily compile Apache with over 63 3rd parts modules and options.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB