Pinned Repositories
JCLCudaAPI
JCLTune
JCLTune (under development)
margaux
A Pattern-based declarative model debugger
peticodiac
Work-in-progress: C++ implementation of a general simplex procedure accelerated using OpenCL or CUDA.
peticodiac4J
The general simplex procedure solves quantifier-free linear real arithmetic (QF_LRA) formulas.
RNA_Structure_Comparison
sstewart2012's Repositories
sstewart2012/JCLCudaAPI
sstewart2012/peticodiac
Work-in-progress: C++ implementation of a general simplex procedure accelerated using OpenCL or CUDA.
sstewart2012/JCLTune
JCLTune (under development)
sstewart2012/margaux
A Pattern-based declarative model debugger
sstewart2012/peticodiac4J
The general simplex procedure solves quantifier-free linear real arithmetic (QF_LRA) formulas.
sstewart2012/RNA_Structure_Comparison