Antonio Flores Montoya (@aeflores)
github

aeflores

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    17
  • Global Rank 704,724 (Top 25 %)
  • Followers 13
  • Following 2
  • Registered about 11 years ago
  • Most used languages
    C++
         50.0 %
    Prolog
         50.0 %

Top repositories

1

CoFloCo

CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive programs.
Prolog
16
star
2

libehp

fork of https://git.zephyr-software.com/opensrc/libehp
C++
1
star