Pinned Repositories
Caliper
Caliper is an instrumentation and performance profiling library
prism
The main development version of the PRISM model checker.
spack
A flexible package manager that supports multiple versions, configurations, platforms, and compilers.
Caliper
Caliper is an instrumentation and performance profiling library
exciting
The EXCiT!NG code is a powerful open-source DFT package targeted to scientific developers and users that need a modern and adaptable platform for their research
ngmlr
NGMLR is a long-read mapper designed to align PacBio or Oxford Nanopore (standard and ultra-long) to a reference genome with a focus on reads that span structural variations
prism
The main development version of the PRISM model checker.
prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
spack
A flexible package manager that supports multiple versions, configurations, platforms, and compilers.
UnifyFS
UnifyFS: A file system for burst buffers
t-nojiri's Repositories
t-nojiri/Caliper
Caliper is an instrumentation and performance profiling library
t-nojiri/exciting
The EXCiT!NG code is a powerful open-source DFT package targeted to scientific developers and users that need a modern and adaptable platform for their research
t-nojiri/ngmlr
NGMLR is a long-read mapper designed to align PacBio or Oxford Nanopore (standard and ultra-long) to a reference genome with a focus on reads that span structural variations
t-nojiri/prism
The main development version of the PRISM model checker.
t-nojiri/prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
t-nojiri/spack
A flexible package manager that supports multiple versions, configurations, platforms, and compilers.
t-nojiri/UnifyFS
UnifyFS: A file system for burst buffers