Search Results for "linear"
Sort By:
Showing 3 open source projects for "linear"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
1
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. -
2
f2what
Lapack/quadprog QP for VBA/.Net/Java
...It offers a Fortran77 parser with code transformations, variable disambiguation, and modular output to other programming languages. It also offers already translated versions of Lapack and quadprog to Java, .Net and VBA, to give access to SVD, LU, QR, Cholesky, eigenvalue decomposition, linear system solving and QP optimization in those three languages. -
3
Jeeg is a dialect of Java based on a declarative synchronization mechanisms.Synchronization constraints in Jeeg are expressed in a linear temporal logic. Jeeg is inspired by the current trend in aspect oriented languages.
- Previous
- You're on page 1
- Next
