Skip to content
View lindseyspratt's full-sized avatar
6 followers · 0 following

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report lindseyspratt

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

Popular repositories

  1. proscriptls proscriptls Public

    Forked from thetrime/proscript

    A WAM-based Javascript implementation of Prolog with DOM builtins and debugger.

    JavaScript 8 2

  2. bacon-logtalk bacon-logtalk Public

    Bacon system based on "Scientific Discovery" by Langley, Simon, Bradshaw, and Zytkow.

    Logtalk 6 1

  3. wa-prolog wa-prolog Public

    WebAssembly-based Prolog. A Prolog for running in Web browsers with a WebAssembly WAM.

    WebAssembly 2

  4. dctg-logtalk dctg-logtalk Public

    Definite Clause Translation Grammar

    Logtalk 1 1

  5. format-source format-source Public

    Format Prolog or Logtalk source files

    Logtalk 1 1

  6. prolog-markdown prolog-markdown Public

    Forked from rla/prolog-markdown

    Markdown parser for SWI-Prolog.

    Prolog