Erik Scheffers
Eindhoven, The Netherlands
Managed Projects
ATerm Library
Analyzed about 5 hours ago
ATerms are an efficient symbolic computation and exchange format. The core of the ATerm library is the C code that efficiently implements maximally shared (persistent, hash-consed) trees and lists, including an automatic generational garbage collector, and fast textual and binary serialization.
Licenses:
BSD-3-Clause, lgpl