@jpgallagher
github

jpgallagher

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    7
  • Global Rank 1,188,154 (Top 42 %)
  • Followers 4
  • Registered over 11 years ago
  • Most used languages
    Prolog
         66.7 %
    SMT     33.3 %
  • Location πŸ‡©πŸ‡° Denmark
  • Country Total Rank 3,779
  • Country Ranking
    SMT     2
    Prolog
         4

Top repositories

1

pe

Partial evaluation for Prolog
Prolog
2
star
2

pecos

CHC solver based on partial evaluation and constraint specialisation
SMT
2
star
3

Semantics4PE

Semantics-based interpreters intended for specialisation
Prolog
2
star