Βιβλιοθήκες γραμμένες σε Prolog
refinements
Αυτό είναι ένα mod για το BG2 που αλλάζει μια σειρά από χαρακτηριστικά, κυρίως τα τραπέζια HLA και τη μηχανική των πανοπλιών. (από vbigiani).
- 4
Analyzer
Το Analyzer είναι ένας γραμματικός αναλυτής για ένα πολύ μικρό υποσύνολο του Pascal. (από pjmlp).
- 3
- GNU General Public License v3.0
war-crimes-explorer
Διαδραστική εκμάθηση στο πρόγραμμα περιήγησης για τη γενοκτονία, τα εγκλήματα πολέμου, τα εγκλήματα κατά της ανθρωπότητας και την επιθετικότητα..
- 2
- MIT
Completionist
Ελέγξτε και/ή δημιουργήστε μια περιπέτεια με βάση τις απαιτήσεις των αντικειμένων για πρόσβαση σε μια τοποθεσία. Εμπνευσμένο από Randomizer όπως το OOTR και το Metroid.
- 2
- MIT
TommyPROM-PCB
Αρχεία σχεδίασης PCB για το έργο TommyPROM (https://github.com/TomNisbet/TommyPROM).
- 1
- MIT
FlorenceBot
Ένα πλήρως διαδραστικό chatbot για συγκεκριμένο τομέα που υλοποιείται με χρήση Prolog και PySwip..
- 1
stabilizer
Stabilizer: Rigorous Performance Evaluation (llvm-12 fork) (από magras).
- 1
- Apache License 2.0
SSI
Ένας μεταγλωττιστής Prolog γραμμένος σε Prolog. (από luciangreen).
- 1
- BSD 3-clause "New" or "Revised"
Prolog-to-List-Prolog
Μετατρέπει τους αλγόριθμους Prolog σε αλγόριθμους List Prolog.
- 0
- BSD 3-clause "New" or "Revised"