Antique-team

Antique-team

🏢 Organization

3 repositories on SrcLog

View on GitHub
3 Repos
53 Stars
13 Forks
53 Watchers

Repositories (3)

clangml Antique-team/clangml C++

OCaml bindings for clang

24
memcad Antique-team/memcad

The MemCAD static analyzer

24
clangml-transforms Antique-team/clangml-transforms OCaml

transformations from Clang AST to MemCAD AST

5