krr/IDP-Z3

IDP-Z3 is a software collection implementing the Knowledge Base paradigm using the FO(.) language.

GitLab repository with 15 stars and 14 forks.

Language: Python

Open provider repository

Latest metric snapshot

2026-06-15: 15 stars and 14 forks.

Similar repositories

  1. 1. kicad/libraries/kicad-symbols

    Official KiCad schematic symbol libraries

    GitLab repository with 227 stars and 877 forks.

    Trending score: 1.02; stars gained: +1; forks gained: +1.

    Language: Python

  2. 2. rpncalculators/c43

    Firmware for the C47 pocket calculator

    GitLab repository with 38 stars and 19 forks.

    Trending score: 0.73; stars gained: +1; forks gained: +0.

    Language: Python

  3. 3. usmcamp0811/dotfiles

    GitLab repository with 28 stars and 5 forks.

    Trending score: 0.65; stars gained: +1; forks gained: +1.

    Language: Python

  4. 4. wireshark/wireshark

    Wireshark's official code repository. You can keep the releases coming by donating at https://wiresharkfoundation.org/donate/.

    GitLab repository with 1,582 stars and 1,645 forks.

    Trending score: 0.61; stars gained: +1; forks gained: +1.

    Language: Python

    Topics: network analysis, packet capture, protocol analysis, stratoshark, tshark, wireshark

  5. 5. tsoding/porth

    Concatenative Programming Language for Computers

    GitLab repository with 310 stars and 55 forks.

    Trending score: 0.45; stars gained: +1; forks gained: +0.

    Language: Python

  6. 6. MindTheGapps/vendor_gapps

    GitLab repository with 102 stars and 134 forks.

    Trending score: 0.38; stars gained: +0; forks gained: +0.

    Language: Python

Trending in Python

  1. 1. kicad/libraries/kicad-symbols

    Official KiCad schematic symbol libraries

    GitLab repository with 227 stars and 877 forks.

    Trending score: 1.02; stars gained: +1; forks gained: +1.

    Language: Python

  2. 2. rpncalculators/c43

    Firmware for the C47 pocket calculator

    GitLab repository with 38 stars and 19 forks.

    Trending score: 0.73; stars gained: +1; forks gained: +0.

    Language: Python

  3. 3. usmcamp0811/dotfiles

    GitLab repository with 28 stars and 5 forks.

    Trending score: 0.65; stars gained: +1; forks gained: +1.

    Language: Python

  4. 4. wireshark/wireshark

    Wireshark's official code repository. You can keep the releases coming by donating at https://wiresharkfoundation.org/donate/.

    GitLab repository with 1,582 stars and 1,645 forks.

    Trending score: 0.61; stars gained: +1; forks gained: +1.

    Language: Python

    Topics: network analysis, packet capture, protocol analysis, stratoshark, tshark, wireshark

  5. 5. tsoding/porth

    Concatenative Programming Language for Computers

    GitLab repository with 310 stars and 55 forks.

    Trending score: 0.45; stars gained: +1; forks gained: +0.

    Language: Python

  6. 6. MindTheGapps/vendor_gapps

    GitLab repository with 102 stars and 134 forks.

    Trending score: 0.38; stars gained: +0; forks gained: +0.

    Language: Python