Euan Lacy's repositories
knuth-bendix-procedure
A header-only cpp implementation of the Knuth-Bendix completion procedure supporting different rule lookup strategies
multithreaded-queues
Various multithreaded queue implementations in c++
libsemigroups
C++ library for semigroups and monoids
Language:C++GPL-3.0000
libsemigroups_pybind11
Python bindings for the libsemigroups C++ library for semigroups and monoids
Language:C++GPL-3.0000
scryer-prolog
A modern Prolog implementation written mostly in Rust.
Language:RustBSD-3-Clause000
wgpu_validation_error
Minimal example to trigger vulkan validation error with storage buffer array
Language:Rust000