opencompl

https://grosser.science/

Results 2 repositories owned by


                                            opencompl

paper-template

27

Stars

12

Forks

Watchers

A template for writing CS papers with latex -- includes CI, todonotes, ...

computer-science

lean-mlir

47

Stars

4

Forks

Watchers

embedding MLIR in LEAN