Get non-trivial tests (and trivial, too!) suggested right inside your IDE, so you can code smart, create more value, and stay confident when you push. Learn more →
Haskell runtime-verification Projects
-
-
InfluxDB
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
The latest post mention was on 2023-05-21.
Haskell runtime-verification related posts
- [ANN] NASA's Ogma -- now with FPrime support
- [ANN] NASA's Ogma 1.0.7
- [ANN] Summer Internship at NASA Ames Research Center
- I want to learn Haskell, but...
- [ANN] Copilot 3.12
- [ANN] Copilot 3.11
- [ANN]: Copilot 3.10 - Runtime monitoring
-
A note from our sponsor - CodiumAI
codium.ai | 30 May 2023
Index
Project | Stars | |
---|---|---|
1 | copilot | 495 |
ONLYOFFICE Docs — document collaboration in your environment
Powerful document editing and collaboration in your app or environment. Ultimate security, API and 30+ ready connectors, SaaS or on-premises
www.onlyoffice.com