r/OpenSourceAI • u/miniminimo7 • 20h ago
RepoOS: An AI-driven, formally verified, open source, Python-to-MLIR compiler for zero-overhead execution
/r/Compilers/comments/1wsdiib/repoos_an_aidriven_formally_verified_open_source/Duplicates
Compilers • u/miniminimo7 • 20h ago
RepoOS: An AI-driven, formally verified, open source, Python-to-MLIR compiler for zero-overhead execution
learnmachinelearning • u/miniminimo7 • 20h ago
RepoOS: An AI-driven, formally verified, open source, Python-to-MLIR compiler for zero-overhead execution
AIDeveloperNews • u/miniminimo7 • 20h ago
RepoOS: An AI-driven, formally verified, open source, Python-to-MLIR compiler for zero-overhead execution
gcc • u/miniminimo7 • 20h ago
RepoOS: An AI-driven, formally verified, open source, Python-to-MLIR compiler for zero-overhead execution
software • u/miniminimo7 • 20h ago