Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
☆129Apr 17, 2026Updated last month
Alternatives and similar repositories for ptII
Users that are interested in ptII are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Some Lustre program examples☆22Jul 8, 2025Updated 10 months ago
- Deprecated package (use instead Modia.jl)☆20Jul 28, 2021Updated 4 years ago
- ☆62May 28, 2024Updated last year
- Pothos bindings for GNU Radio blocks☆12Dec 28, 2020Updated 5 years ago
- RISC-V System on Chip Builder☆12Sep 27, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A cookiecutter template to add easy Debianization to any existing Python project.☆26Jan 21, 2021Updated 5 years ago
- OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints,…☆20May 3, 2022Updated 4 years ago
- A Tutorial on Spatial Mathematics☆13May 18, 2023Updated 3 years ago
- Simulator for FMUs in Julia (WIP)☆20Jan 10, 2022Updated 4 years ago
- RACoN - RTI abstraction component for MS.NET (RACoN)☆14Nov 17, 2023Updated 2 years ago
- 📊 Extension of the CombiTable look-up table blocks of the Modelica Standard Library to additionally support cubic interpolation and read…☆21Feb 21, 2026Updated 2 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆123May 10, 2026Updated last week
- A modular Lustre to C / Horn clauses compiler☆21Nov 17, 2018Updated 7 years ago
- Abstract 2D multi-robot multi-interface mobile robot simulator (fork of MobileSim simulator with various fixes, optimizations, and added …☆16May 30, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- KIELER Lightweight Diagams☆40Jan 28, 2026Updated 3 months ago
- CERTI is an Open Source HLA RTI. HLA (High-Level Architecture) is a general purpose architecture for distributed computer simulation syst…☆57Oct 20, 2018Updated 7 years ago
- TChecker is an open-source verification tool for timed automata☆26Dec 9, 2025Updated 5 months ago
- Specification of the Distributed Co-Simulation Protocol (DCP)☆20Oct 6, 2025Updated 7 months ago
- A language and toolset for implementing dataflow applications on FPGAs☆28Mar 19, 2026Updated 2 months ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆24May 2, 2017Updated 9 years ago
- A lightweight framework that enables the packaging of Python3.x code as co-simulation FMUs☆177Dec 12, 2025Updated 5 months ago
- Simulation and Analysis Environment in Python with Plugin Infrastructure☆142Mar 12, 2019Updated 7 years ago
- IPs for data-plane integration of Hardware Processing Engines (HWPEs) within a PULP system☆21Jan 17, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Free library providing different representations of linear, time invariant differential and difference equation systems, as well as typic…☆26May 12, 2026Updated last week
- Library for creating curves. Forked from https://github.com/stonneau/spline☆14Apr 30, 2026Updated 2 weeks ago
- Dynamically Reconfigurable Architecture Template and Cycle-level Microarchitecture Simulator for Dataflow AcCelerators☆29Jul 17, 2023Updated 2 years ago
- Chisel3 implementation of IEEE-754 compliant floating point data type (logic & representation)☆11Dec 16, 2019Updated 6 years ago
- Python module for management of Modelica simulation files in .mat format☆51Oct 16, 2014Updated 11 years ago
- SwapForth J1a processor for Icestudio☆12Aug 28, 2020Updated 5 years ago
- Yet another implementation of TI C6x DSP simulator☆11Jan 16, 2014Updated 12 years ago
- PLL Simulator in SystemC-AMS☆11Jun 2, 2023Updated 2 years ago
- A powerful CLI tool for initializing specification-driven development projects with flexible, production-ready structures.☆18May 10, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Open Source AADL2 Tool Environment☆53Mar 23, 2026Updated last month
- 'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena.☆21Dec 3, 2024Updated last year
- Java and Python Integration Example for GraalVM☆21Jul 15, 2021Updated 4 years ago
- OpenModelica sensitivity analysis and optimization module.☆12May 1, 2026Updated 2 weeks ago
- A C-family AST implementation designed to be an IR for DSL compilers.☆17Jul 6, 2017Updated 8 years ago
- A polyhedral compiler for hardware accelerators☆59Jul 24, 2024Updated last year
- Supporting code for Building HTM Systems document.☆30Apr 24, 2020Updated 6 years ago