Central limit theorem in Lean

DreamHOI: Subject-Driven Generation of 3D Human-Object Interactions with Diffusion Priors

Neural theorem proving toolkit: data extraction tools for Lean 4

A static analysis tool for Lean 4.

The math library of Lean 4

Lean 4 programming language and theorem prover

Productive, portable, and performant GPU programming in Python.

A community-maintained Python framework for creating mathematical animations.

Flexible and powerful tensor operations for readable and reliable code (for pytorch, jax, TF and others)

Collective Mind (CM) is a small, modular, cross-platform and decentralized workflow automation framework with a human-friendly interface and reusable automation recipes to make it easier to build, …

Arbitrary style transfer using TensorFlow.js

Code for the manim-generated scenes used in 3blue1brown videos

Redesigning the YKPS portal.

Reference implementations of MLPerf™ training benchmarks

新型冠状病毒防疫信息收集平台

#人类加油 #we-stay-strong 我们关注的是你所关注的：面向疫区内外民众和医疗机构的多维度信息整合平台

Reference implementations of MLPerf™ inference benchmarks

Graphical User Interface for creating and running Scratch 3.0 projects.

⛅ The right way to check the weather

[DEPRECATED] Jekyll plugin for easy server-side math rendering via KaTeX

Fast math typesetting for the web.

Animation engine for explanatory math videos

🏡 Open source home automation that puts local control and privacy first.

An Open Source Machine Learning Framework for Everyone

MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville

Repo for counting stars and contributing. Press F to pay respect to glorious developers.