The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in C).
Primary LanguageJava
No issues in this repository yet.