Lightweight coding agent that runs in your terminal

A collection of formalized statements of conjectures in Lean.

7 Wonders Duel board game (+ expansions) implemented for BoardGameArena

Lower bounds for hypothesis testing and estimation, in Lean

Google Drive Public File Downloader when Curl/Wget Fails

Resources of deep learning for mathematical reasoning (DL4MATH).

📋 A list of open LLMs available for commercial use.

Home Assistant Custom Component for SmartRent Locks 🔐, Thermostats 🌡, Sensors 💧 and Switches💡

Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 500 universities from 70 countries including Stanford, MIT, Harvard, and Cambridge.

Official code for the paper "Task2Vec: Task Embedding for Meta-Learning" (https://arxiv.org/abs/1902.03545, ICCV 2019)

A Django app for easily adding object tools in the Django admin

Tensors and Dynamic neural networks in Python with strong GPU acceleration