A Lean tactic (`autogeneralize`) which takes in a proof and generalizes it 'as far as the proof allows.'

A collection of crypto MCP servers.

Stock options, RSUs, taxes — read the latest edition: www.holloway.com/ec

Zero-config PWA for Vite

📄 Configuration files that enhance Cursor AI editor experience with custom rules and behaviors

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

GPU & Accelerator process monitoring for AMD, Apple, Huawei, Intel, NVIDIA and Qualcomm

macOS system monitor in your menu bar

My implementation of the original transformer model (Vaswani et al.). I've additionally included the playground.py file for visualizing otherwise seemingly hard concepts. Currently included IWSLT p…

Master programming by recreating your favorite technologies from scratch.

LLM101n: Let's build a Storyteller

⚒️ Start your next Solidity project with Foundry in seconds

LaTeX files for the Deep Learning book notation

Solidity library for advanced fixed-point math

Machine Learning Engineering Open Book

🔒 A compiled checklist of 300+ tips for protecting digital security and privacy in 2024

Fabric is an open-source framework for augmenting humans using AI. It provides a modular system for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.

Open source forkable Ethereum dev stack

Using mutations to improve specs and test suites

Console.log utility for debugging huff contracts

Your CLI home video recorder 📼

A tool for glamorous shell scripts 🎀

A powerful little TUI framework 🏗

AI on the command line

Foundry-based template for developing Solidity smart contracts

A simple, modular, and fast framework for writing MEV bots in Rust.

Papers from the computer science community to read and discuss.

The paper list of the 86-page SCIS cover paper "The Rise and Potential of Large Language Model Based Agents: A Survey" by Zhiheng Xi et al.