Mathematics-and-computation Alternatives

Similar projects and alternatives to mathematics-and-computation

seL4

60 4,538 9.0 C mathematics-and-computation VS seL4

The seL4 microkernel
FStar

42 2,567 9.9 F* mathematics-and-computation VS FStar

A Proof-oriented Programming Language
InfluxDB

www.influxdata.com featured

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.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better mathematics-and-computation alternative or higher similarity.

Suggest an alternative to mathematics-and-computation

mathematics-and-computation reviews and mentions

Posts with mentions or reviews of mathematics-and-computation. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-12-24.

Mathematics and Computation
3 projects | /r/ProgrammingLanguages | 24 Dec 2021

> For more information about the technical side of the blog, and how you can contribute to it, please visit the mathematics-and-computation repository at GitHub.

Stats

Basic mathematics-and-computation repo stats

Mentions

Stars

Activity

6.0

Last Commit

3 months ago

The primary programming language of mathematics-and-computation is Mathematica.