Search Results for "simulation software"

Racket is a general-purpose programming language and an ecosystem for language-oriented programming. This repository holds the source code for the core of Racket plus some related packages. The rest of the Racket distribution source code is in other repositories, mostly under the Racket GitHub organization. Racket programmers typically program with functions, records, objects, exceptions, regular expressions, modules, and threads. That is, instead of a “minimalist” language, which is the way...

Yorick is an interpreted programming language for scientific simulations or calculations, postprocessing or steering large simulation codes, interactive scientific graphics, and reading, writing, or translating large files of numbers.

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.