A collection of projects showcasing RAG, agents, workflows, and other AI use cases

Exact structure out of any language model completion.

🧠 Cognitive load is what matters

Agda is a dependently typed programming language / interactive theorem prover.

Existing Literature about Machine Unlearning

llama3 implementation one matrix multiplication at a time

Solve puzzles. Improve your pytorch.

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

A resource for learning about Machine learning & Deep Learning

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

Solve puzzles. Learn CUDA.

Entropy Based Sampling and Parallel CoT Decoding

Parser Combinators of Monad

Functional Programming Course

Tensors and neural networks in Haskell

Project: M36 Relational Algebra Engine

Learn Haskell