Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
47,133 repositories indexed
1–2 of 2 · Most stars
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Rocq plugin embedding Elpi