Search Results for "simulate"

Parcel combines a great out-of-the-box development experience with a scalable architecture that can take your project from just getting started to a massive production application. Parcel starts with a great development experience, from starting a new project to iterating and debugging, and shipping to production. No more fiddling with configuration, or spending hours to keep up with best practices – it just works! Parcel supports many languages and file types out of the box, from web...

...Its Realtime purpose is an IDE (codesmith developer access), its Runtime (U/I) function is as a space building simulator, operating in conjunction with the SuperWikia 'Navigator' user interface to simulate space economics and fleet operations. It allows users (known as 'data fleet navigators' or DFN's) to compete in tourneys over vast regions known as 'expanses' and to create envoys that manage onsite and offsite stations. Using additional SuperWikia components, users may enhance their experience with plugins and 'dataplates' that help build the Runtime environment. ...

Quint is an executable specification language with delightful tooling, designed for distributed systems and based on the temporal logic of actions (TLA). Write specifications you can run, simulate, and verify, so subtle bugs get caught before reaching production. Quint is open source (Apache 2.0) and developed by Informal Systems. Source code and documentation live on GitHub and quint.sh.