Seq's repositories
benchmarks
Benchmarks for the Seq programming language
seq-lang.org
Website for the Seq programming language
seq-playground
Playground for compiling and running Seq code remotely
Tapir-LLVM
Tapir extension to LLVM for optimizing Parallel Programs