Pinned Repositories
ae-inversions
Benchmarking inversion counting algorithms
bullimp
An implementation of an improved Ullman's algorithm for subgraph isomorphisms
graph-monomorphism-experiment
MaxHs
A compiler for the MaxHs language for Maxeler Dataflow engines
msvm
An implementation of a multiple kernel learning SVM learning algorithm
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
surface-simplification
A project for a class on Computational Topology
xnevs's Repositories
xnevs/msvm
An implementation of a multiple kernel learning SVM learning algorithm
xnevs/bullimp
An implementation of an improved Ullman's algorithm for subgraph isomorphisms
xnevs/sobol_generator
A parallel implementation of the Sobol' quasirandom number generator
xnevs/sicsim
A simple assembler and emulator for the SIC/XE hypothetical computer
xnevs/graph-monomorphism-experiment
xnevs/sics
A solver for the subgraph isomorphism constraint satisfaction probem
xnevs/surface-simplification
A project for a class on Computational Topology
xnevs/ae-inversions
Benchmarking inversion counting algorithms
xnevs/MaxHs
A compiler for the MaxHs language for Maxeler Dataflow engines
xnevs/sat-solver
A simple SAT solver
xnevs/dotfiles
xnevs/FocusSearchCpp
C++ implementation of FocusSearch (originally implemented in Modula2 by Ullmann)
xnevs/FocusSearchCpp-old
xnevs/glasgow-subgraph-solver
A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
xnevs/gramo
xnevs/handson
xnevs/jenkins-test
xnevs/microhaskell
A Micro-Haskell interpreter developed as part of a university course on the theory of programming languages
xnevs/pathLAD
xnevs/polygon-bisect
A project for a class on Computational Geometry
xnevs/prev
A compiler for a toy programming language "Prev" for the MMIX architecture
xnevs/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
xnevs/RI
RI is a general purpose algorithm for one-to-one exact subgraph isomorphism problem maintaining topological constraints.
xnevs/RI-DS
A subgraph isomorphism algorithm.
xnevs/RI-DS-old
xnevs/RI-old
xnevs/rust_iterator
xnevs/ullimp
xnevs/VF2
xnevs/VF3