Armv8 Native Code Symbolic Simulator in Lean

Detects usage of unsafe Rust in a Rust crate and its dependencies.

A project to map out the relations between different equational theories of Magmas.

A strongly-typed language that compiles to JavaScript

General Resources for Competitive Programming

Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.

A compact LLM pretrained in 9 days by using high quality data

Low level HTTP server library in Rust

🏫 Official course planning platform for National University of Singapore.

End-to-end real-world polyphonic piano audio-to-score transcription with hierarchical decoding (IJCAI 2024)

Get up and running with Llama 3.2, Mistral, Gemma 2, and other large language models.

Inference code for Llama models

🙌 OpenHands: Code Less, Make More

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

Linux kernel source tree

🔥Highlighting the top ML papers every week.

Source code for Twitter's Recommendation Algorithm