Pinned Repositories
bacon-logtalk
Bacon system based on "Scientific Discovery" by Langley, Simon, Bradshaw, and Zytkow.
concurrentqueue
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
dctg-logtalk
Definite Clause Translation Grammar
format-source
Format Prolog or Logtalk source files
mosaic-pls
Mosaic game implemented using ProscriptLS
prolog-markdown
Markdown parser for SWI-Prolog.
proscriptls
A WAM-based Javascript implementation of Prolog with DOM builtins and debugger.
valid-passport-aoc4
wa-prolog
WebAssembly-based Prolog. A Prolog for running in Web browsers with a WebAssembly WAM.
wambook
Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
lindseyspratt's Repositories
lindseyspratt/proscriptls
A WAM-based Javascript implementation of Prolog with DOM builtins and debugger.
lindseyspratt/bacon-logtalk
Bacon system based on "Scientific Discovery" by Langley, Simon, Bradshaw, and Zytkow.
lindseyspratt/wa-prolog
WebAssembly-based Prolog. A Prolog for running in Web browsers with a WebAssembly WAM.
lindseyspratt/dctg-logtalk
Definite Clause Translation Grammar
lindseyspratt/format-source
Format Prolog or Logtalk source files
lindseyspratt/concurrentqueue
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
lindseyspratt/mosaic-pls
Mosaic game implemented using ProscriptLS
lindseyspratt/prolog-markdown
Markdown parser for SWI-Prolog.
lindseyspratt/valid-passport-aoc4
lindseyspratt/wambook
Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci