triska (Markus Triska) · GitHub
Skip to content
View triska's full-sized avatar
593 followers · 111 following

Achievements

Achievement: Galaxy Brainx4Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Achievements

Achievement: Galaxy Brainx4Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Organizations

@SWI-Prolog

Block or report triska

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. bitcoinolog bitcoinolog Public

    Reason about Bitcoin addresses with Prolog

    Prolog 24 5

  2. clpb clpb Public

    Boolean Constraint Solving in Prolog

    Prolog 49 6

  3. clpz clpz Public

    Constraint Logic Programming over Integers

    Prolog 213 15

  4. presprover presprover Public

    Prove formulas of Presburger Arithmetic

    Prolog 12 2

  5. simsttab simsttab Public

    Simple timetabling engine for schools

    Prolog 30 12

  6. the-power-of-prolog the-power-of-prolog Public

    The Power of Prolog: Introduction to modern Prolog

    HTML 1.4k 90