Quantum assembly language for extended quantum circuits
Python framework for concurrent, asynchronous, distributed tasks
Cellular Automata library for SUPercomputers (CASUP)
Parallel Optimization Library for Java
Fast and more random implementations of java.util.Random.
Parallelism without the Pain
Homozygous Stretch Identifier from next-generation sequencing data
Comprehensive thermal analysis software package
ntccKMC: A Kripke-structure-based model checker for ntcc
Real-time data acquisition and visualization software
to prove if a CLTL formula satisfy a ntcc process