souffle-lang의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
Soufflé는 Horn 절에서 분석을 만드는 도구 설계자를 위한 Datalog의 변형입니다. Soufflé는 논리 사양에서 네이티브 병렬 C++ 프로그램을 생성합니다.
