Multi platform setup for Coq, Coq libraries and tools

🎵 A "DeFi Everywhere" protocol enabling fans to fund artists and co-own music royalties via RWA-NFTs. Features Account Abstraction (Privy) & 100% Gasless Voting (ERC-4337 Paymaster)

LLM Council works together to answer your hardest questions

Quick illustration of how one can easily read books together with LLMs. It's great and I highly recommend it.

Democratizing AI scientists with ToolUniverse

Generating Immersive, Explorable, and Interactive 3D Worlds from Words or Pixels with Hunyuan3D World Model

A community-maintained Python framework for creating mathematical animations.

Lightweight coding agent that runs in your terminal

StreamDiffusion: A Pipeline-Level Solution for Real-Time Interactive Generation

🕸️ GNN-based Reddit Discussion Classifier

NUS CS5284 Graph Machine Learning course, Xavier Bresson, 2024

RelBench: Relational Deep Learning Benchmark

Animation engine for explanatory math videos

LLM101n: Let's build a Storyteller

Video+code lecture on building nanoGPT from scratch

Wikiman is a universal offline documentation search engine for manual pages, tldr-pages, ArchWiki, Gentoo Wiki, DevDocs, and FreeBSD documentation

⭐ Vim for Visual Studio Code

Create Customized Software using Natural Language Idea (through LLM-powered Multi-Agent Collaboration)

🙌 OpenHands: AI-Driven Development

Grok open release

🐝 The First Self-Improving Agentic Solution

Visual Studio Code client for Tabnine. https://marketplace.visualstudio.com/items?itemName=TabNine.tabnine-vscode

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

PyTorch code and models for V-JEPA self-supervised learning from video.