statusfailed's Stars
mlabonne/llm-course
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
rasbt/LLMs-from-scratch
Implement a ChatGPT-like LLM in PyTorch from scratch, step by step
ggerganov/ggml
Tensor library for machine learning
srush/GPU-Puzzles
Solve puzzles. Learn CUDA.
cumulo-autumn/StreamDiffusion
StreamDiffusion: A Pipeline-Level Solution for Real-Time Interactive Generation
EpistasisLab/tpot
A Python Automated Machine Learning tool that optimizes machine learning pipelines using genetic programming.
NVIDIA/cuda-samples
Samples for CUDA Developers which demonstrates features in CUDA Toolkit
srush/Tensor-Puzzles
Solve puzzles. Improve your pytorch.
Lxtharia/minegrub-theme
A Grub Theme in the style of Minecraft!
huggingface/safetensors
Simple, safe way to store and distribute tensors
BrunoLevy/learn-fpga
Learning FPGA, yosys, nextpnr, and RISC-V
HazyResearch/ThunderKittens
Tile primitives for speedy kernels
scito/extract_otp_secrets
Extract one time password (OTP) secrets from QR codes exported by two-factor authentication (2FA) apps such as "Google Authenticator". The exported QR codes from authentication apps can be captured by camera, read from images, or read from text files. The secrets can be exported to JSON or CSV, or printed as QR codes to console.
trotsky1997/MathBlackBox
airspeed-velocity/asv
Airspeed Velocity: A simple Python benchmarking tool with web-based reporting
mazeppa-dev/mazeppa
A modern supercompiler for call-by-value functional languages
digama0/mm0
Metamath Zero specification language
voxelize/voxelize
:mushroom: Build your own voxel games with Voxelize! Multiplayer, optimized, highly customizable full stack library.
xyflow/react-flow-example-apps
Example React Flow apps for Create React App, Next.js and Remix.
yacineMTB/dingcad
Live reload cad scripting because >lmao UIs
lambdaclass/sparkling_water_bootcamp
Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
digama0/lean-type-theory
LaTeX code for a paper on lean's type theory
akissinger/chyp
An interactive theorem prover for string diagrams
statusfailed/catgrad
a categorical deep learning compiler
bl0x/learn-fpga-amaranth
Code for Bruno Levy's learn-fpga tutorial written in Amaranth HDL
mikeshulman/catlog
Categorical logic from a categorical point of view
fzaiser/genfer
Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
SNU-ARC/OpenDNN
OpenDNN: An Open-source, cuDNN-like Deep Learning Primitive Library
pema99/rust-path-tracer
GPU accelerated path tracer written entirely in Rust
yarrow-id/diagrams
string diagrams for the working programmer