A minimal GPU design in Verilog to learn how GPUs work from the ground up

Verilog Development IDE

For the project of f-GAIL

The math library of Lean 4

MuJoCo is a physics engine for detailed, efficient rigid body simulations with contacts. mujoco-py allows using MuJoCo from Python 3.

Stockfish and chess on RISC-V MangoPi 🥭♟️

Curate better data for LLMs

Privacy-first, end-to-end encrypted Mail, Pages, Drive, and Calendar.

Reference implementation for DPO (Direct Preference Optimization)

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

genUI for books

[Unmaintained, see README] An ecosystem of Rust libraries for working with large language models

wifi packet sniffer

Like grep but for natural language questions. Based on Mistral 7B or Mixtral 8x7B.

Topics course Mathematics of Deep Learning, NYU, Spring 18

PyTorch and TensorFlow implementation of NCP, LTC, and CfC wired neural models

A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond

Fine-tuning LLMs using QLoRA

PyTorch implementation of some attentions for Deep Learning Researchers.

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

Minimalist ML framework for Rust

RWKV is an RNN with transformer-level LLM performance. It can be directly trained like a GPT (parallelizable). So it's combining the best of RNN and transformer - great performance, fast inference,…

An open-source visual programming environment for battle-testing prompts to LLMs.

A library for mechanistic interpretability of GPT-style language models