Amir Kantor (@amka66)
github

amka66

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    9
  • Global Rank 1,034,169 (Top 36 %)
  • Followers 2
  • Following 6
  • Registered almost 9 years ago
  • Most used languages
    Prolog
         66.7 %
    Shell
         33.3 %
  • Location 🇮🇱 Israel
  • Country Total Rank 3,318
  • Country Ranking
    Prolog
         1
    Shell
         423

Top repositories

1

horc

horc: lightweight HORn-Clause interpreter
Prolog
4
star
2

mai

mai: MAth Interpreter with standard foundations
Prolog
4
star
3

ak-tools

Blueprint for Python and/or Lean projects (can be used for either) including setup guides, dotfiles, and a set of tools and utilities in Python and Lean.
Shell
1
star