scientificlinux / sl-dockerLinks
Scientific Linux Docker images
☆17Updated last year
Alternatives and similar repositories for sl-docker
Users that are interested in sl-docker are comparing it to the libraries listed below
Sorting:
- Library for rigorous verification of non-linear arithmetic☆115Updated last year
- Performance Benchmark Recipes for Power-based systems☆14Updated 6 years ago
- An OpenCL-based photon-tracking simulation using a (source-based) ray tracing algorithm modeling scattering and absorption of light in th…☆18Updated 6 years ago
- Proof assistant for qRHL☆22Updated this week
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated last year
- Advance Toolchain for Linux on Power build system.☆38Updated this week
- Warewulf is a scalable systems management suite originally developed to manage large high-performance Linux clusters.☆109Updated last year
- ☆27Updated 2 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 11 years ago
- Light-weight verification and transformation tools for Fortran☆140Updated last week
- Singularity Image Format (SIF) reference implementation☆53Updated last week
- FunQy - A high-level hybrid quantum programming language☆33Updated 5 years ago
- Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…☆29Updated 6 years ago
- ☆88Updated 8 years ago
- Mirror of MAGMA - Next-generation linear algebra libraries for heterogeneous architectures. Please use the official repository, https://b…☆25Updated 8 years ago
- Binder repository of interactive tutorial notebooks for pyQuil and Forest.☆29Updated 4 years ago
- DEPRECATED. This Scalapck repository is deprecated. The last version in this repository is 3.0. Refer to "aocl-scalapack" repository unde…☆10Updated 4 years ago
- Cryptographic Protocol Shapes Analyzer☆37Updated 3 years ago
- RINA Simulator☆30Updated 5 years ago
- Grid Community Toolkit☆53Updated 2 weeks ago
- Quantomatic is a tool for doing automated graph rewriting.☆170Updated 6 years ago
- D-Wave Ocean Documentation☆48Updated 5 years ago
- An attempt at writing a Lattice Boltzmann CFD simulator in Rust☆10Updated 6 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Homebrew tap for GAP☆15Updated 3 months ago
- Experimental and Intriguing Tools for ROCm☆36Updated 6 years ago
- A quantum circuit language and formal verification tool☆106Updated 8 months ago
- Evaluate the numerical accuracy of an application (mirror of the Gitlab main repo).☆14Updated 2 years ago
- GPU Gross-Pitaevskii Equation numerical solver for Bose-Einstein condensates.☆41Updated 5 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Updated 6 years ago