Verified-scheduling Alternatives

Similar projects and alternatives to verified-scheduling

Halide

43 5,714 9.5 C++ verified-scheduling VS Halide

a language for fast, portable data-parallel computation
anydsl

5 98 3.4 Shell verified-scheduling VS anydsl

Meta project to quickly build dependencies
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.
toast

3 43 1.5 C++ verified-scheduling VS toast

Time Ordered Astrophysics Scalable Tools (by hpc4cmb)
exo

2 268 8.7 Python verified-scheduling VS exo

Exocompilation for productive programming of hardware accelerators (by exo-lang)
phobos-next

1 0 2.6 D verified-scheduling VS phobos-next

Various generic reusable D code.
atl

1 55 3.2 Python verified-scheduling VS atl

A Tensor Language

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

Suggest an alternative to verified-scheduling

verified-scheduling reviews and mentions

Posts with mentions or reviews of verified-scheduling. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-02-11.

A new programming language for high-performance computers
7 projects | news.ycombinator.com | 11 Feb 2022

Its unfortunate that ATL is such a generic name. The actual code you meant to link to is here:
https://github.com/ChezJrk/verified-scheduling

Stats

Basic verified-scheduling repo stats

Mentions

Stars

Activity

0.9

Last Commit

about 1 year ago

The primary programming language of verified-scheduling is Coq.

Popular Comparisons