Popular repositories Loading

1. universal-words universal-words Public

   Lean 1 1

2. setup setup Public

   Setup Unix environment on Ubuntu, Arch, etc with needed packages and dotfiles

   Shell

3. nanodl nanodl Public

   Forked from HenryNdubuaku/nanodl

   A Jax-based library for building transformers, includes implementations of GPT, Gemma, LlaMa, Mixtral, Whisper, SWin, ViT and more.

   Python

4. beam beam Public

   Forked from apache/beam

   Apache Beam is a unified programming model for Batch and Streaming data processing.

   Java

5. TauCeti TauCeti Public

   Forked from TauCetiProject/TauCeti

   An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics

   Lean

6. melee melee Public

   Forked from doldecomp/melee

   A decompilation of Super Smash Bros Melee brought to you by a bunch of clever folks.

   C