Projects in Awesome Lists tagged with deterministic-systems
A curated list of projects in awesome lists tagged with deterministic-systems .
https://github.com/kiguli/protect
PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle discrete-time stochastic systems, continuous-time stochastic systems, discrete-time deterministic systems and continuous-time deterministic systems.
barrier-certificates barrier-functions continuous-time-deterministic-systems continuous-time-stochastic-systems deterministic-systems discrete-time-deterministic-systems discrete-time-stochastic-systems polynomial-systems safety-verification stochastic-systems sum-of-squares
Last synced: 29 Jan 2026
https://github.com/argorixlabs/argorixlang
Argorix Lang is a compiled language for secure, verifiable AI-agent communication.
agent-security agentic-ai ai-agents ai-agents-framework ai-safety bytecode compiler deterministic-systems prompt-injection rust-lang secure-communication virtual-machine
Last synced: 28 Jun 2026
https://github.com/neil-crago/gen_field
The Generator Field is a deterministic, geometric field theory that replaces the probabilistic vacuum of quantum field theory with a continuous elastic tensor field
deterministic-systems generator-function shrodinger wavefunction
Last synced: 15 Jun 2026
