tensor_annotations VS dex-lang

Compare tensor_annotations vs dex-lang and see what are their differences.

tensor_annotations

Annotating tensor shapes using Python types (by google-deepmind)

dex-lang

Research language for array processing in the Haskell/ML family (by google-research)
Scout Monitoring - Free Django app performance insights with Scout Monitoring
Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.
www.scoutapm.com
featured
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.
www.influxdata.com
featured
tensor_annotations dex-lang
2 25
158 1,553
0.0% 1.2%
5.8 8.2
11 months ago 29 days ago
Python Haskell
Apache License 2.0 BSD 3-clause "New" or "Revised" License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

tensor_annotations

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

dex-lang

Posts with mentions or reviews of dex-lang. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-01-13.

What are some alternatives?

When comparing tensor_annotations and dex-lang you can also consider the following projects:

torchtyping - Type annotations and dynamic checking for a tensor's shape, dtype, names, etc.

jax - Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

miniF2F - Formal to Formal Mathematics Benchmark

futhark - :boom::computer::boom: A data-parallel functional programming language

TablaM - The practical relational programing language for data-oriented applications

julia - The Julia Programming Language

tiny-cuda-nn - Lightning fast C++/CUDA neural network framework

Pytorch - Tensors and Dynamic neural networks in Python with strong GPU acceleration

MindsDB - The platform for customizing AI from enterprise data

hasktorch - Tensors and neural networks in Haskell

FL - FL language specification and reference implementations

CIPs

Scout Monitoring - Free Django app performance insights with Scout Monitoring
Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.
www.scoutapm.com
featured
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.
www.influxdata.com
featured