Continuous REactive SysTems DSL
☆18Oct 28, 2019Updated 6 years ago
Alternatives and similar repositories for CREST
Users that are interested in CREST are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Gate-Level Simulation on a GPU☆10Nov 22, 2016Updated 9 years ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 10 years ago
- Attempt to make a python based Operating System, it means that we use language feature to provide security instead of using hardware as i…☆10Jul 22, 2016Updated 10 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆19Jan 13, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Python UML statechart framework☆10Oct 17, 2024Updated last year
- Async iterators for Nim☆15Jul 27, 2025Updated 11 months ago
- TChecker is an open-source verification tool for timed automata☆28Dec 9, 2025Updated 7 months ago
- KTH's Timed C compiler☆19Jan 7, 2022Updated 4 years ago
- ☆13Feb 24, 2025Updated last year
- A Domain-Specific Language (DSL) for simplified music notation.☆19Jun 1, 2015Updated 11 years ago
- Implementation of ray tracer from Ray Tracing in One Weekend☆15Oct 1, 2020Updated 5 years ago
- An HTML documentation generator for Coq source files☆31Jun 15, 2026Updated last month
- Tutorial files and code the EuroPython 2017 tutorial, "A Hands-On Approach to Tuning Python Applications for Performance".☆12Oct 6, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- EmerCoin SSH PKI and distributed ACL☆15Mar 4, 2017Updated 9 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆59Jul 20, 2025Updated last year
- A Julia package for representing multi-dimensional grids☆18Jul 15, 2026Updated last week
- lazyarray is a Python package that provides a lazily-evaluated numerical array class, larray, based on and compatible with NumPy arrays.☆22May 19, 2026Updated 2 months ago
- Subsumed into xnd☆24Jul 30, 2019Updated 6 years ago
- Geometry Utility Functions☆12Nov 28, 2016Updated 9 years ago
- Website of System Structure and Parameterization (SSP) of components for virtual system design standard☆14May 5, 2026Updated 2 months ago
- general-purpose fast, stateless, and deterministic feature extractor written in golang for use in machine learning☆12Mar 17, 2018Updated 8 years ago
- Teaching a humanoid to walk(ish), then displaying in your browser (using tensorflow.js and reinforcement learning)☆10Sep 7, 2020Updated 5 years ago
- 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.
- Atom syntax highlighting for Weave.jl and Pweave documents. Currently supports markdown input formats.☆21Apr 17, 2023Updated 3 years ago
- Formatics - Metamath verifier written in Nim.☆20May 13, 2022Updated 4 years ago
- GAMELAN (Game Mengenal Budaya Nusantara)☆12Jul 13, 2018Updated 8 years ago
- A game server for Cube 2: Sauerbraten.☆13Oct 5, 2025Updated 9 months ago
- A codec for Go structs with support for chainable encoding/decoding hooks.☆12Sep 15, 2023Updated 2 years ago
- The Specification for the System Architecture Framework (SAF)☆23Updated this week
- a subclass of numpy.ndarray that does fixed-point arithmetic☆14Dec 10, 2025Updated 7 months ago
- A simple in-memory graph database (wrapper for python-igraph)☆11Jul 6, 2019Updated 7 years ago
- Informed Rapidly-exploring Random Tree-Star with C# Programming☆10Nov 6, 2021Updated 4 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.
- Agent simulation of aerial search and rescue in the Unity Framework☆11Jun 3, 2014Updated 12 years ago
- The General Mediation Engine (GME) is a software framework for producing interactive narratives using narrative mediation.☆10Feb 4, 2018Updated 8 years ago
- Source Engine map loader☆15Apr 28, 2018Updated 8 years ago
- Unity project for the replay video☆13Nov 30, 2021Updated 4 years ago
- Indexed Allocator C++ lib☆12Nov 6, 2019Updated 6 years ago
- Keep Calm and DSL On!☆38Jul 9, 2026Updated 2 weeks ago
- Neural network for embedded systems☆38Jul 10, 2025Updated last year