EricGT

Pinned Repositories

colorgorical
Colorgorical: a tool for creating categorical information visualization color palettes.
Language:C144 6 319
SWI-Prolog-validation
A ChatGPT plugin that will validate Prolog code generated by ChatGPT by compiling the code with SWI-Prolog.
Language:Python1 1 00
WSL-Programs
A community powered list of programs that work (and those that don't) on the Windows subsystem for Linux
Language:CSS1.1k 85 2893
fsharp-logic-examples
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
Language:F#169 19 116
NHol
An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.
Language:F#11 5 84
WSL
Source code behind the Windows Subsystem for Linux documentation.
Language:PowerShell1.9k 106 1.2k554
prolog-markdown
Markdown parser for SWI-Prolog.
Language:Prolog20 3 105
thinkcspy
How to Think Like a Computer Scientist, Interactive Edition
Language:HTML106 9 140191
swipl
SWI-Prolog stable releases
Language:C209 16 1936
swipl-devel
SWI-Prolog Main development repository
Language:C919 46 744167

EricGT/SWI-Prolog-validation
A ChatGPT plugin that will validate Prolog code generated by ChatGPT by compiling the code with SWI-Prolog.
Language:Python1 1 00