Highlights
- Pro
Stars
A gallery that showcases on-device ML/GenAI use cases and allows people to try and use models locally.
Model Context Protocol Servers
This repository contains the Hugging Face Agents Course.
A personal knowledge management and sharing system for VSCode
Minimal reproduction of DeepSeek R1-Zero
Source code for the Mathematics in Lean tutorial.
A collection of prompts to challenge the reasoning abilities of large language models in presence of misguiding information
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
This repo includes ChatGPT prompt curation to use ChatGPT and other LLM tools better.
This guide will walk you through setting up a Day of Defeat (1.3) server using Linux Game Server Managers (LinuxGSM), providing detailed instructions to ensure a smooth setup process.
Stable Diffusion and Flux in pure C/C++
Sample code and notebooks for Generative AI on Google Cloud, with Gemini on Vertex AI
Granite Snack Cookbook -- easily consumable recipes (python notebooks) that showcase the capabilities of the Granite models
Open source project for data preparation for GenAI applications
x86 PC emulator and x86-to-wasm JIT, running in the browser
Official inference framework for 1-bit LLMs
llama3 implementation one matrix multiplication at a time
GoFetch: Breaking Constant-Time Cryptographic Implementations Using Data Memory-Dependent Prefetchers -- USENIX Security'24
A nanoGPT pipeline packed in a spreadsheet
😀😜🔂 World’s only programming language that’s bursting with emojis
A massively parallel, high-level programming language
The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes