Official inference framework for 1-bit LLMs

You like pytorch? You like micrograd? You love tinygrad! ❤️

An step by step fuzzing tutorial. A GitHub Security Lab initiative

A little bit about a linux kernel

Solve puzzles. Learn CUDA.

Rust port of Spice, a low-overhead parallelization library

Color Picker for LCH

A high-performance, zero-overhead, extensible Python compiler using LLVM

Applying Prophecy variables in TLA+ to the Herlihy & Wing paper

snograJ SC fo snoitalsnarT naeroK ysaE 🇰🇷🗣️

The MaPLe compiler for efficient and scalable parallel functional programming

A key-value store benchmark framework with customizable workloads

A minimal development of SSA theory

Smart Garbage Collection Library for C++

Automatically exported from code.google.com/p/relacy

Investment Research for Everyone, Everywhere.

Framework for testing concurrent data structures

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Unforget is a minimalist end-to-end encrypted note-taking app without Electron.js

Wait-free atomic shared pointer

LLM training in simple, raw C/CUDA

The full minitorch student suite.

A massively parallel, optimal functional runtime in Rust

Formalization of C++ for verification purposes.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

The Mojo Programming Language

Artifact package accompanying our POPL 2024 submission titled "A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability".

RPB: Rust Parallel Benchmarks suite

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.