The Wayback Machine - https://web.archive.org/web/20201129093129/https://github.com/triska
Skip to content
Avatar
  • Block or report user

    Block or report triska

    Report abuse

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

    Report abuse
247 followers · 50 following · 79

Highlights

  • Arctic Code Vault Contributor
  • Pro

Organizations

@SWI-Prolog

Pinned

  1. bitcoinolog

    Reason about Bitcoin addresses with Prolog

    Prolog 9 4

  2. clpb

    Boolean Constraint Solving in Prolog

    Prolog 21 2

  3. clpz

    Constraint Logic Programming over Integers

    Prolog 80 10

  4. presprover

    Prove formulas of Presburger Arithmetic

    Prolog 4 1

  5. simsttab

    Simple timetabling engine for schools

    Prolog 9 4

  6. the-power-of-prolog

    Introduction to modern Prolog

    HTML 734 41

691 contributions in the last year

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

Contribution activity

November 2020

Created 5 commits in 2 repositories
Opened 1 pull request in 1 repository
mthom/scryer-prolog
1 merged

Created an issue in infradig/trealla that received 16 comments

Please consider using strings for file names and paths

Please consider using strings (lists of characters) to represent paths and file names. The reason is that strings can be easily reasoned about with…

16 comments
Opened 6 other issues in 3 repositories
You can’t perform that action at this time.