Re-implementation of pi0 vision-language-action (VLA) model from Physical Intelligence

The Book of Statistical Proofs

A project page template for academic papers. Demo at https://eliahuhorwitz.github.io/Academic-project-page-template/

Papers & presentation materials from Hugging Face's internal science day

A bibliography and survey of the papers surrounding o1

A curated list of awesome Machine Learning frameworks, libraries and software.

Summary of key papers and blogs about diffusion models to learn about the topic. Detailed list of all published diffusion robotics papers.

On-device intelligence.

A game about the future of solar energy

The Abstraction and Reasoning Corpus

FoundationDB - the open source, distributed, transactional key-value store

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

A collection of free stuff you can get at the Massachusetts Institute of Technology.

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

The math library of Lean 4

A fork of the popular discord.py for user accounts.

A Discord API Wrapper for Userbots/Selfbots written in Python.

Grok open release

🌎 Hack Club is a worldwide community of high school hackers. We make things. We help one another. We have fun.

On-chain order book that atomically settles trades

Every time I have an idea, I write it down. These are a collection of my top software ideas -- problems I think enough people have that don't have solutions. I expect you can reach a decent userbas…

Olympiad GeoGuessr

Python script that catalogs which of your friends you text the most on iMessage!

usaco files

Command-line program to download videos from YouTube.com and other video sites