Skip to content
View euanlacy's full-sized avatar
7 followers · 8 following
  • Amsterdam
Block or Report

Block or report euanlacy

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

Pinned Loading

  1. multithreaded-queues multithreaded-queues Public

    Various multithreaded queue implementations in c++

    C++ 1

  2. knuth-bendix-procedure knuth-bendix-procedure Public

    A header-only cpp implementation of the Knuth-Bendix completion procedure supporting different rule lookup strategies

    C++ 1

  3. mthom/scryer-prolog mthom/scryer-prolog Public

    A modern Prolog implementation written mostly in Rust.

    Rust 2k 116

  4. libsemigroups/libsemigroups libsemigroups/libsemigroups Public

    C++ library for semigroups and monoids

    C++ 42 28