Antique-team

Antique-team

🏢 Organization

3 repositories on SrcLog

View on GitHub
3 Repos
55 Stars
13 Forks
55 Watchers

Repositories (3)

memcad Antique-team/memcad

The MemCAD static analyzer

27
clangml Antique-team/clangml C++

OCaml bindings for clang

23
clangml-transforms Antique-team/clangml-transforms OCaml

transformations from Clang AST to MemCAD AST

5