Stars
Summarize group chat with AI, LLM && query group chat, FREE to deploy your own, support img, link meta info, reply to, auto fold result, 支持中文检索.
Most influential papers in programming languages
A verified polyhedral scheduling validator in Coq.
A language and compiler for irregular tensor programs.
Efficiently computes derivatives of NumPy code.
An Introduction to Weighted Automata in Machine Learning
Mitsuba 2: A Retargetable Forward and Inverse Renderer
Haskell implementation of P4F Control-Flow Analysis
♞ lichess.org: the forever free, adless and open source chess server ♞
[ICLR 2021 top 3%] Is Attention Better Than Matrix Decomposition?
Online demo without installing at - https://buildit.so/tryit
MONeT framework for reducing memory consumption of DNN training
a playground for working with fully static tensors and automatic differentiation
C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
OneFlow is a deep learning framework designed to be user-friendly, scalable and efficient.
A minimalistic and high-performance SAT solver
Open source neural network chess engine with GPU acceleration and broad hardware support.
The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs