Ceps Alternatives
Similar projects and alternatives to ceps
-
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.
-
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
-
vos
Vinix is an effort to write a modern, fast, and useful operating system in the V programming language
-
nimskull
An in development statically typed systems programming language; with sustainability at its core. We, the community of users, maintain it.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
arsd
This is a collection of modules that I've released over the years. Most of them stand alone, or have just one or two dependencies in here, so you don't have to download this whole repo.
ceps reviews and mentions
-
OpenD, a D language fork that is open to your contributions
> ... now Coq's getting renamed
Oh, didn't know that they are working on this.
https://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-ro...
- Change of Name: Coq –> The Rocq Prover
Stats
Sponsored