oanaoana

oanaoana's Stars

• VeriNum/vcfloat

  VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

  Language:Coq2211

• parcoach/parcoach

  Mirror of PARCOACH's main repository: https://gitlab.inria.fr/parcoach/parcoach

  Language:C++52

• parcoach/parcoach.github.io

  Language:LLVM11

• alshedivat/al-folio

  A beautiful, simple, clean, and responsive Jekyll theme for academics

  Language:HTML10.6k10.9k

• idaholab/moose

  Multiphysics Object Oriented Simulation Environment

  Language:C++1.7k1k

• mholmboe/atom

  Atomistic Topology Operations in Matlab, scripts for manipulation of molecular dynamics or monte carlo simulation systems

  Language:HTML199

• robol/rshr-toolbox

  A MATLAB toolbox that implements fast Hessenberg reduction fo rank structured matrices

  Language:Matlab11

• oanaoana/HERKosiDAE

  Half-explicit Runge-Kutta method for overdetermined semi-implicit Differential-Algebraic Equations

  1

• SrikaraPranesh/Multi_precision_NLA_kernels

  Language:MATLAB63

• soarlab/FPTaylor

  Tool for Rigorous Estimation of Round-Off Floating-Point Errors

  Language:OCaml2710

• oanaoana/cleve-laboratory

  Suggested modifications for Cleve Laboratory, a Matlab app package by Cleve Moler

  1

• LisaNeef/Data-Assimilation-Practicals-Matlab

  Practical exercises in 4D data assimilation using toy models in MATLAB

  Language:Matlab23

• oanaoana/SparseOptimizationPack

  Implementations of algorithms for sparse optimization in Matlab and C (for GPU and MPI)

  1

• oanaoana/LowRankMatrixDecompositionCodes

  RSVDPACK: Implementations of fast algorithms for computing the low rank SVD, interpolative and CUR decompositions of a matrix, using randomized sampling. Includes codes for single core (using GNU GSL), multi-core (using Intel MKL) and GPU (using NVIDIA CUDA/CULA) architectures.

  1