ekzhang/crepe

@ekzhang

Datalog-Compiler, eingebettet in Rust als prozedurales Makro.

↗ Auf GitHub öffnen

Sterne

530

Forks

Sprache

Rust

Lizenz

Apache-2.0

Letzter Push

vor 9 Monaten

Rust rust static-analysis logic-programming datalog souffle translator

Noch keine verwandte Intel

Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.

Verwandte Intel (0)

Noch keine verwandte Intel