InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now. Learn more →
Rupicola Alternatives
Similar projects and alternatives to rupicola
-
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
-
verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
-
UniMath
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
-
-
magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better rupicola alternative or higher similarity.
rupicola discussion
rupicola reviews and mentions
Posts with mentions or reviews of rupicola.
We have used some of these posts to build our list of alternatives
and similar projects.
- Rupicola: Relational Compilation for Performance-Critical Applications
-
A note from our sponsor - InfluxDB
www.influxdata.com | 20 May 2025
Stats
Basic rupicola repo stats
3
54
6.5
7 days ago
mit-plv/rupicola is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of rupicola is Coq.
Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com