Popular repositories Loading

1. FSA FSA Public

   FSA: Fusing FlashAttention within a Single Systolic Array

   Scala 190 19

2. graphiti graphiti Public

   Verified graph rewriting (for dataflow circuits).

   Lean 26 2

3. leanses leanses Public

   Lean lens implementation with custom notation.

   Lean 17

4. chipyard-fsa chipyard-fsa Public

   Scala 7 1

5. easyfloat easyfloat Public

   Python 3 1

6. graphiti-mp graphiti-mp Public

   TeX 2