xnevs Goto Github PK

ae-inversions

Benchmarking inversion counting algorithms

bullimp

An implementation of an improved Ullman's algorithm for subgraph isomorphisms

dotfiles

examples

focussearchcpp

C++ implementation of FocusSearch (originally implemented in Modula2 by Ullmann)

focussearchcpp-old

glasgow-subgraph-solver

A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.

gramo

graph-monomorphism-experiment

handson

jenkins-test

maxhs

A compiler for the MaxHs language for Maxeler Dataflow engines

microhaskell

A Micro-Haskell interpreter developed as part of a university course on the theory of programming languages

msvm

An implementation of a multiple kernel learning SVM learning algorithm

pathlad

polygon-bisect

A project for a class on Computational Geometry

prev

A compiler for a toy programming language "Prev" for the MMIX architecture

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

ri

RI is a general purpose algorithm for one-to-one exact subgraph isomorphism problem maintaining topological constraints.

ri-ds

A subgraph isomorphism algorithm.

ri-ds-old

ri-old

rust_iterator

sat-solver

A simple SAT solver

sics

A solver for the subgraph isomorphism constraint satisfaction probem

sicsim

A simple assembler and emulator for the SIC/XE hypothetical computer

sobol_generator

A parallel implementation of the Sobol' quasirandom number generator

subsea

surface-simplification

A project for a class on Computational Topology

ullimp