Skip to content
View masiiie's full-sized avatar
🌱
Learning by shipping
🌱
Learning by shipping
  • University of Habana @matcom
  • Cuba

Block or report masiiie

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Beta Lists are currently in beta. Share feedback and report bugs.

Starred repositories

500 results for sponsorable starred repositories written in All languages
Clear filter

SWI-Prolog for SHaring: a SWI-Prolog web IDE

Prolog 496 128 Updated Aug 12, 2024

Heavily Xchat inspired beautiful irssi theme.

Prolog 340 36 Updated Jan 18, 2022

random stuff in prolog

Prolog 74 33 Updated Dec 26, 2018

A basic expert system, written in Prolog, that suggests what programming language one should learn first.

Prolog 43 22 Updated Aug 2, 2016

Prolog implementation of microKanren

Prolog 41 3 Updated Feb 20, 2015

A pocket keyboard that uses SMD mouse switches. Low profile and easy to assemble

Prolog 33 3 Updated Feb 5, 2024

Exercism exercises in Prolog.

Prolog 30 37 Updated Oct 1, 2024

MUD Server written in Prolog using Forward chaining

Prolog 30 6 Updated Feb 6, 2022

The SWI-Prolog RDF store

Prolog 29 15 Updated Oct 2, 2024

CHR: Leuven Constraint Handling Rules

Prolog 24 12 Updated Sep 26, 2024

Stabilizer: Rigorous Performance Evaluation

Prolog 23 3 Updated Aug 15, 2023

The SWI-Prolog HTTP server and client libraries

Prolog 23 23 Updated Oct 2, 2024

Extended DCG syntax for Prolog by Peter Van Roy

Prolog 21 7 Updated Mar 22, 2018

Top-down interpreter for ASP programs with Constraints

Prolog 21 3 Updated Aug 30, 2024

Apply and compose functions in Prolog

Prolog 19 6 Updated Oct 27, 2016

PoCs discovered through fuzzing which resulted in a CVE assignment.

Prolog 18 12 Updated Feb 14, 2020

Regular expressions for Prolog

Prolog 17 4 Updated Jul 6, 2017

Base Forward Chaining Knowledge Base Maintenance System

Prolog 17 1 Updated Oct 2, 2021

📜 A fully functional Othello (Reversi) game, with several AIs, made in prolog for swipl.

Prolog 16 6 Updated Apr 26, 2024

SWI-Prolog web server sources for www.swi-prolog.org

Prolog 16 10 Updated Sep 23, 2024

Prolog benchmarks (`van Roy' set)

Prolog 15 9 Updated Sep 26, 2024

A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners

Prolog 15 Updated Feb 6, 2022

Chatbot impls in Prolog

Prolog 14 6 Updated Feb 15, 2022

Copies of prolog solvers for use from python

Prolog 14 Updated Jul 8, 2024

Easy concurrency for Prolog

Prolog 13 2 Updated May 30, 2014

How to monitor a Zimbra Collaboration Environment using pflogsumm and NET-SNMP-EXTEND

Prolog 12 10 Updated Oct 25, 2017

Hardware Files for a variety of Nebra LoRa Hardware

Prolog 12 10 Updated Aug 23, 2022

Pengines: Prolog engines

Prolog 12 13 Updated Oct 2, 2024

Concurrent and distributed Prolog via join patterns (join calculus)

Prolog 11 2 Updated Mar 10, 2015

Optional types for Prolog

Prolog 11 4 Updated Aug 14, 2018
Next