Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
Copilot Alternatives
Similar projects and alternatives to copilot
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
fret
A framework for the elicitation, specification, formalization and understanding of requirements.
-
declarative-programming-streams
Active streaming declarative programmers. See who's online at the following URL:
-
improve
An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
copilot reviews and mentions
- NASA Copilot: A stream-based runtime-verification framework
-
[ANN] Copilot 3.16
[2] https://github.com/Copilot-Language/copilot/releases/tag/v3.16
- [ANN] NASA's Ogma 1.0.9
- [ANN] NASA's Ogma -- now with FPrime support
- [ANN] NASA's Ogma 1.0.7
-
[ANN] Summer Internship at NASA Ames Research Center
The student, if selected, will be working on extending our capabilities to test cFS/ROS/FPrime applications, especially those using Ogma and/or Copilot for monitoring. Both Ogma and Copilot are open-source software written in Haskell.
-
I want to learn Haskell, but...
For low-level embedded, you have Copilot!
-
[ANN] Copilot 3.12
Current emphasis is on improving the codebase in terms of stability and test coverage, removing unnecessary dependencies, hiding internal definitions, and formatting the code to meet our new coding standards. Users are encouraged to participate by opening issues and asking questions via our github repo (https://github.com/copilot-language/copilot).
- [ANN] Copilot 3.11
-
Copilot: Realtime Programming Language and Runtime Verification Framework
not maintainer but I think the correct one is this: https://github.com/Copilot-Language/copilot/tree/master/copi...
-
A note from our sponsor - InfluxDB
www.influxdata.com | 24 Apr 2024
Stats
Copilot-Language/copilot is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
The primary programming language of copilot is Haskell.
Sponsored