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 →
CORE Alternatives
Similar projects and alternatives to CORE based on common topics and language
-
-
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.
-
PikaPython
An ultra-lightweight Python interpreter that runs with only 4KB of RAM, zero dependencies. It is ready to use out of the box without any configuration required and easy to extend with C. Similar project: MicroPython, JerryScript.
-
-
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better CORE alternative or higher similarity.
CORE reviews and mentions
Posts with mentions or reviews of CORE.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-07-03.
-
What books should I proceed with to get into machine-assisted theorem proving/formal verification of software?
Library of proofs Github repo
-
CORE - My Proof Assistant
Back in March I started my fourth attempt at making a proof assistant, and to my surprise I actually succeeded. A proof assistant is a programming language for mathematical logic and proofs. I wanted to make my own simple proof assistant for set theory, which is a logic in which the objects are "sets," i.e. collections of other objects. Since the language's creation, I've been able to prove some basic facts about the natural numbers and construct addition and multiplication from scratch (using the ZFC axioms). I also made a website where you can look at all of the results I've proven in CORE. In the website you can recurse through results by clicking on the bold words in the code for the proofs. I have a repository for the language here. For the people who are interested, I will describe the language in more detail below.
-
I created a proof assistant!
Anyways, if anybody wants to take a look, the project is here. I'm not sharing the project with the expectation that people will actually use it, but I am certainly still interested in making the language more powerful. So if you have criticisms please keep this in mind!
-
A note from our sponsor - InfluxDB
www.influxdata.com | 4 May 2024
Stats
Basic CORE repo stats
3
30
6.7
2 months ago
The primary programming language of CORE is C.
Popular Comparisons
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com