Discover United Kingdom's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of United Kingdom.
larsyencken/marelle
Test-driven system administration with a little extra logic.simply-logical/simply-logical
Online, interactive edition of the "Simply Logical" Prolog textbookrachelwiles/GoT-Check
βοΈ Game of Thrones character database and family trees in Prologhairykiwi/OTM-02
Open source Time Machine #2jamespwilliams/prolog-isolation-checker
An encoding of the UK's self-isolation rules in Prologryancdotorg/dnsstore
cbaziotis/prolog-cfg-parser
A toy SWI-Prolog context-free grammar (CFG) parser, that extracts knowledge (facts) from text.JoseCSantos/GILPS
General Inductive Logic Programming Systemcelinehocquette/magicpopper
C. Hocquette and A. Cropper, Learning programs with magic values.larsyencken/marelle-deps
Configuration targets for Marelle.arcadio/data-logic
Expert system with deductive querying and verification of constraints expressed in natural languagefatuhoku/prolog-sudoku
A simple sudoku solver written in SWI-Prologmatchilling/brexit
π¬π§ A !serious adventure for the Ununited Kingdom written in prologemacstheviking/gnuprolog-redisclient
A simple but effective pure GNU Prolog client connecting with Redis, no libraries required.emacstheviking/gnuprolog-json
Pure prolog JSON encoding and decoding library plus some simple utility functions.celinehocquette/numsynth-aaai23
C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.NebraLtd/nebra-lora-hardware
Hardware Files for a variety of Nebra LoRa Hardwarematchilling/kata-prolog
A loose collection of coding katas written in Prologlorenzo-stoakes/learn-prolog-now
Notes from my study of Learn Prolog Now!wenkokke/swillprover
a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prologfairydancecreations/3PDT-optical-true-buffer-bypass
3PDT optical true bypass PCB , eagle file and gerbersmatyjas/share-bear
Exploring MeeGo's ShareUI, with a special focus on Nokia's Harmattanbenvial/pytheas
Python Electromagnetic Analysis and Simulation with the Finite Element Methodtomsherborne/geoquery-src
A mirror of the original GeoQuery info sitesamwalrus/twitter_pack
Pack to access twitter api from swi prologT3P3/IceBlueStepstick
Redesigned Stepstick - A4982 Driver carrier boardemiruz/adventofcode2023
Advent of Code 2023 solutions in SWI Prologathieriot/irssi-ascii-image
Display an ASCII representation of an image using jp2a in IRSSInicos-angelopoulos/prosqlite
An SWI-Prolog interface to SQLitesimply-logical/programs
Prolog programs from the Simply Logical bookcleggacus/prolog-pong
Pong in linux terminal with prologformare/community
This repository is to build up a collection of pointers to economics formalizations (software, theorems, proofs).danyvarghese/PyILP
A novel user-friendly Python interface for Inductive Logic programming(ILP) system for teaching machine learning and data-miningnikosgalanis/Problems
ππ‘All problems implementated as exercises in course: Principals Of Programming LanguagesRichardjmorton/NUWT
Northumbria wave tracking codedideler/course-advisor
An expert system for advising Computer Science students (at Brock) which courses to enroll in.johnwhitington/exn-source
Exception backtrace for OCaml with source code printingljcoomber/prolog-dot-trace
Debugger hooks to generate a DOT representation of a SWI-Prolog program executionrobintw/DunesGIS
ENVI/IDL and ArcGIS routines for processing DEMs of sand dunes from the DECAL modelthanosqr/Alan-Prolog-Compiler
a compiler for Alan written in PrologGPPassos/computational-semantics
Repository for Bachelor's Thesis (final project) in Applied Mathematics at Fundação Getulio Vargasnicos-angelopoulos/real
Integrative statistics with R and logic programmingsamwalrus/machine_learning
basic machine learning algorithms in prologsamwalrus/reactome-pengine
BorisMitrovic/reformation
Automatic theory repair using reformation algorithmRichardjmorton/auto_nuwt_public
Public repository for autoNUWT codePanPapag/Artificial-Intelligence-and-the-Search-for-Solutions
π A plethora of puzzles solved by using the method of exhaustive searchstanojevic/Left-Corner-MG-parser
samwalrus/scasp_tests
Playing with scaspAndreaCrotti/navigator
Multi language little navigator program, implementation of Floyd Warshall algorithmamalon/chron
Chron is a tool for resolving chronological constraints in genealogies and chronologies of historical documents such as the Bible.adamgreig/AMPly
An Open Source Modular Audio Amplifiernicos-angelopoulos/bims
Bayesian inference of model structuredideler/logic-programming
A collection of short Prolog programs & predicatespleaseRedo/McCarthy-Riddle-solution
Uploaded work: McCarthy Riddle solutionawto/fnotation
Function notation for PrologJackThorp/war_of_life
Repositry for intro to AI courseworkpalaska/splendor_game
Implementation of the game called Splendor in Prologlarsyencken/docker-vm
A Vagrant recipe for a VM with Docker installed and nothing else.29antonioac/Constraint-satisfaction-problems
Solving constraint satisfaction problems with prolog and ECLiPSecelinehocquette/aaai24-maxsynth
C. Hocquette, A. Niskanen, M JΓ€rvisalo, and Andrew Cropper, Learning MDL Logic Programs From Noisy Data, AAAI24.samwalrus/reactome_project
This is a project to use Inductive Logic Programming to classify Lung Cancer samples.tim-lawson/computational-logic
Prolog and Python for the coursework of the Computational Logic for Artificial Intelligence unit.jahanzeb/vmodvga
VGA board for Atlysrobertgoss/cool_haskell
A haskell framework for building a COOL language compiler following the coursera compiler course.panks/hexChess
Hexagonal Chess in Prologljcoomber/99-prolog-problems
Working through 99 Prolog Problems (http://sites.google.com/site/prologsite/prolog-problems)cedricfoucault/fun_in_prolog
ljcoomber/dot-dcg
A DCG for a subset of the DOT languagePanPapag/Constraint-Satisfaction-Problems
π Constraint satisfaction problems implemented in ECLiPSe Prologtimothyandrews/historical-radiative-forcing
Code supporting Andrews and Forster (2019, NCC) - Energy budget constraints on historical radiative forcingsamwalrus/mr_logic
A repo for exploring the relationship between mendelian randomization and logic programmingDorvaryn/Puissance4
Un jeu de Puissance 4 en PrologSinjo/7languages
Code I produced while following the 7 Languages In 7 Weeks bookTohaker/TommyPROM-PCB
PCB design files for the TommyPROM project (https://github.com/TomNisbet/TommyPROM)danyvarghese/one-shot-hypothesis-derivation
jonbca/GORT
Guesstimation with Ontologies and Reasoning Techniquesclbarnes/problog_tutorial
greyltc/electronics
KiCAD electrical circuit design and PCB layout files for solar cell measurement equipmentshabble/irssi-script-infoparser
Module which attempts to decode the metadata of an irssi script ($VERSION and %IRSSI) using PPIThisIsGJ/Prolog-Impossible-Puzzle
kittykg/ADVOCadO
Solving ADVent Of COde https://adventofcode.com with mainly Prolog (RIOT WHEN 2D ARRAY COMES)BlueFinBima/DCS-General-Switch-and-Light-Board
dv-rastogi/Career-Advising-System
A basic career advising system built using concepts of backtracking and forward chaining.nicos-angelopoulos/gbn
robintw/CrestExtract
New version of Crest Extraction code in DunesGISlloydtao/prolog-web-application
A web application implemented with SWI-Prolog HTTP libraries.lai1997/BMLP_active_public
The official repository of "Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models".danielchatfield/prolog-99-problems
Solutions to https://sites.google.com/site/prologsite/prolog-problemsnunofonseca/logchem
LogCHEM is a tool for discriminative interactive mining of chemical fragments.jimthree/RGBtlc
a tlc5940 based LED blinker with 5 rgb leds.larsyencken/ckan-vm
A Vagrant virtual machine for the CKAN open source data portal.banool/comp30020-assn2
Assignment 2 for COMP30020 - Declarative Programming, a fill-in puzzle solver written in Prologpaptol/Agent-eng-to-unix-command
Prolog app to translate English to Unix command.lmcarboneau/fgcu-stellar-research
Source repository and general code base for research under Dr. Derek Buzasi at Florida Gulf Coast University. Primary languages are Matlab and Python, but also contains code in Fortran and IDL.samwalrus/oauth
Attempt to get prolog to log into google and twitterdumpstate/prolog-map
BorisMitrovic/sorted-reformation
Automatic ontology repair for sorted logic using Reformation algorithm, originally written for FOL logic by Alan Bundyandrrra/Parking-Lot
Car Parking using Situation Calculus and Planningahjones/7l7w
Seven Languages in Seven WeeksLove Open Source and this site? Check out how you can help us