01epfl-lara/stainlessScala#13298 overallVerification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless7 daysStars41424h gain+2Score0.0
02EPFL-LAP/dynamaticVHDL#27385 overallDHLS (Dynamic High-Level Synthesis) compiler based on MLIR 7 daysStars20024h gain-Score0.0
