Select languages
Just click on one of the languages to switch to it.
Repository Created on March 13, 2012, 8:53 pm
Heavily Xchat inspired beautiful irssi theme.
Last updated on January 29, 2023, 4:06 pm
Repository Created on September 3, 2019, 1:03 pm
Fifteen Puzzle Game
Last updated on March 28, 2020, 6:32 pm
Repository Created on July 25, 2014, 12:58 pm
DALI Multi Agent System Framework
Last updated on May 11, 2022, 10:12 am
Repository Created on December 14, 2013, 5:48 pm
Randomized testing for Prolog à la QuickCheck
Last updated on March 14, 2022, 10:16 pm
Repository Created on December 21, 2015, 6:30 am
A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.
Last updated on August 19, 2022, 5:46 pm
Repository Created on September 14, 2022, 1:08 pm
Stabilizer: Rigorous Performance Evaluation
Last updated on January 31, 2023, 8:14 pm
Repository Created on May 19, 2019, 4:03 am
A simulation language
Last updated on December 12, 2022, 2:15 am
Repository Created on September 15, 2016, 9:38 pm
Hardware components for merch
Last updated on January 23, 2019, 12:00 am
Repository Created on September 30, 2019, 11:58 am
A Natural Language Processing course's files and solved exercises.
Last updated on December 31, 2021, 6:22 pm
Repository Created on May 1, 2016, 8:42 pm
Prolog project about Genealogical Tree
Last updated on May 1, 2016, 9:37 pm
Repository Created on March 24, 2015, 4:24 pm
Light-weight chart parser for multimodal type-logical grammars
Last updated on July 23, 2021, 3:21 am
Repository Created on October 4, 2016, 12:09 am
Exercism exercises in Prolog.
Last updated on January 19, 2023, 9:20 pm
Repository Created on April 25, 2014, 11:27 am
The SWI-Prolog documentation system
Last updated on January 31, 2023, 4:33 pm
Repository Created on March 21, 2015, 4:09 pm
An expert system using SWI Prolog that can be used to verify imaging algorithms
Last updated on December 17, 2021, 6:23 pm
Repository Created on October 1, 2016, 2:48 pm
Project management follow-up
Last updated on October 12, 2016, 1:44 pm
Repository Created on May 12, 2021, 2:14 am
Sistema Experto diseñado para obtener información de las producciones nominadas y ganadoras a los OSCARS.
Last updated on May 19, 2021, 6:33 pm
Repository Created on November 23, 2022, 6:06 am
Annual puzzles https://adventofcode.com/2022
Last updated on January 31, 2023, 9:06 pm
Repository Created on July 16, 2021, 4:37 am
Artificial Intelligence Laboratory () assignments for ready reference
Last updated on February 7, 2022, 3:56 pm
Repository Created on June 24, 2018, 4:43 am
This project is a test of a chatbot in prolog.
Last updated on September 12, 2018, 11:14 pm
Repository Created on September 4, 2021, 1:16 pm
Last updated on September 14, 2021, 1:48 am
Repository Created on February 26, 2015, 12:27 pm
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Last updated on April 21, 2021, 8:56 am
Repository Created on November 10, 2014, 6:48 am
2014年11月 Prolog初級教室 課題とその解答例
Last updated on November 29, 2014, 11:44 am
Repository Created on October 3, 2015, 3:56 pm
snow water equivalent reconstruction
Last updated on January 10, 2019, 4:06 pm
Repository Created on December 15, 2015, 10:35 pm
Auto-generated habitat ontology
Last updated on December 30, 2015, 6:37 am
Repository Created on February 17, 2019, 7:57 am
A todo list done as an additional proof of concept and way to think through issues
Last updated on February 15, 2020, 8:54 am
Repository Created on April 25, 2014, 11:25 am
The SWI-Prolog HTTP server and client libraries
Last updated on January 31, 2023, 4:33 pm
Repository Created on May 25, 2018, 12:03 pm
Eagle schematics for sensors/actuators connector shield for Arduino DUE
Last updated on May 25, 2018, 12:47 pm
Repository Created on June 11, 2013, 5:56 pm
Write TAP tests with SWI-Prolog
Last updated on January 16, 2023, 11:39 pm
Repository Created on September 22, 2021, 8:55 pm
Debug Adapter Protocol (DAP) implementation for SWI-Prolog
Last updated on November 23, 2022, 10:38 pm
Repository Created on June 5, 2009, 8:37 am
Experimental implementation of inside-outside for PCFGs in CHR
Last updated on September 8, 2014, 8:14 pm