Awesome Open Source

Programming Languages

Tensorir

Formal development of a type-safe intermediate language for tensor expressions.

Categories > Machine Learning > Tensor

Suggest Alternative

Stars

5

License

mit

Most Recent Commit

4 years ago

Programming Language

Coq

Categories

Programming Languages > Types

Machine Learning > Tensor

Mathematics > Coq

Suggest An Alternative To TensorIR

Popular Tensor Projects

Pytorch ⭐ 74,794

Tensors and Dynamic neural networks in Python with strong GPU acceleration

dependent packages 8,272total releases 39latest release November 15, 2023most recent commit 4 months ago

pypi torch} Downloads

Pytorch Book ⭐ 11,409

PyTorch tutorials and fun projects including neural talk, neural style, poem writing, anime generation (《深度学习框架PyTorch：入门与实战》)

most recent commit 5 months ago

Open deep learning compiler stack for cpu, gpu and specialized accelerators

dependent packages 3total releases 1latest release February 23, 2021most recent commit 2 months ago

cargo tvm-macros} Downloads

Effectivetensorflow ⭐ 8,646

TensorFlow tutorials and best practices.

most recent commit 4 years ago

Torch7 ⭐ 8,505

http://torch.ch

most recent commit 5 years ago

Popular Coq Projects

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.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 4 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 6 months ago

Stalin Sort ⭐ 1,381

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

most recent commit 5 months ago

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

most recent commit 4 years ago

Unimath ⭐ 888

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

most recent commit 4 months ago

Popular Machine Learning Categories

Machine Learning

Natural Language Processing

Computer Vision

Convolutional Neural Networks

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Types

Tensor

Coq

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source. All rights reserved.