CatDL is a Categorical Deep Learning framework from the first principles of category theory.

Lean4 kernel for synthetic formalization and discovery of statistical learning theory. First and complete formalization of the 5 way fundamental theorem. Typed premise + human-guided, AI-driven pro…

An experimental library for Cubical Agda

An investigation of possible relationships between theories of Conceptual Spaces and Deep Learning

World First Category Theory Deep Learning Framework

Foundational research papers in Category Theory, Topos Theory, and Topological Deep Learning

MLDB is the Machine Learning Database

Chat Template Playground for testing & debugging

Mac app to demonstrate swift-transformers

The open source codebase powering HuggingChat

Making the community's best AI chat models available to everyone.

Development repository for the Triton language and compiler

[ICML-25] AutoML-Agent: A Multi-Agent LLM Framework for Full-Pipeline AutoML

Up to 4x faster decoding than vLLM using HiP Attention: https://github.com/DeepAuto-AI/hip-attention

This is a fork of SGLang for hip-attention integration. Please refer to hip-attention for detail.

Training-free Post-training Efficient Sub-quadratic Complexity Attention. Implemented with OpenAI Triton.

End-to-end realtime stack for connecting humans and AI

Recreating Pytorch in the new Mojo language

Inference Llama 2 in one file of pure 🔥

A curated list of awesome skills, hooks, slash-commands, agent orchestrators, applications, and plugins for Claude Code by Anthropic

A Full-stack Platform for Multiple Time-series Visualization (MTV) and Anomaly Analysis.

Primitives and Pipelines for Time Series Data

Signal Processing Tools

https://dtail.gitbook.io/zephyr/

Using Large Language Models for Time Series Anomaly Detection

Unsupervised time series anomaly detection library