The Wayback Machine - https://web.archive.org/web/20210824003528/https://github.com/triska
Skip to content
Avatar
302 followers · 64 following · 82

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@SWI-Prolog
Block or Report

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.

Report abuse

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

Report abuse

Pinned

  1. bitcoinolog

    Reason about Bitcoin addresses with Prolog

    Prolog 11 4

  2. clpb

    Boolean Constraint Solving in Prolog

    Prolog 24 3

  3. clpz

    Constraint Logic Programming over Integers

    Prolog 111 8

  4. presprover

    Prove formulas of Presburger Arithmetic

    Prolog 5 2

  5. simsttab

    Simple timetabling engine for schools

    Prolog 12 5

  6. the-power-of-prolog

    Introduction to modern Prolog

    HTML 819 47

289 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

August 2021

Created 4 commits in 2 repositories

Created a pull request in mthom/scryer-prolog that received 5 comments

DOC: Describe how to use "p" and "w" on the toplevel to write terms without depth limit.

This is motivated by #384 (comment) .

+23 −0 • 5 comments
Opened 3 other pull requests in 1 repository
Reviewed 1 pull request in 1 repository
mthom/scryer-prolog 1 pull request

Seeing something unexpected? Take a look at the GitHub profile guide.