Antique-team

All

3 repositories

memcad
Public
The MemCAD static analyzer
c static-analysis ocaml
c static-analysis ocaml abstract-interpretation shape-analysis
5•27•0•0•Updated Oct 15, 2021Oct 15, 2021
clangml
Public
OCaml bindings for clang
c ast clang
c ast clang ocaml-library
C++
•
Other
•6•24•26•1•Updated May 1, 2018May 1, 2018
clangml-transforms
Public
transformations from Clang AST to MemCAD AST
c transformations ast
c transformations ast ocaml-library
OCaml
•
Other
•2•5•1•0•Updated Dec 2, 2015Dec 2, 2015

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.