Alternatives and similar repositories for DFR_CVC_2019:

Users that are interested in DFR_CVC_2019 are comparing it to the libraries listed below

• mitmath / 18338
  ☆95Updated 3 weeks ago
• RoseGPE / RoseLapWeb
  Laptime Simulation tool, special built for Formula SAE.
  ☆16Updated 4 years ago
• inducer / numerics-notes
  Slides/notes and Jupyter notebook demos for an introductory course of numerical analysis/scientific computing
  ☆50Updated last month
• nasa / Kodiak
  Library for rigorous verification of non-linear arithmetic
  ☆108Updated 8 months ago
• PASSIONLab / CombBLAS
  The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear …
  ☆70Updated this week
• CornellCAC / CVW_PyHP
  Supplementary material for Cornell CVW on "Python for High Performance"
  ☆26Updated 4 years ago
• koallen / awesome-hpc
  A curated list of awesome stuff about HPC
  ☆25Updated 8 years ago
• microsoft / ADBench
  Benchmarking various AD tools.
  ☆108Updated 9 months ago
• alanedelman / 18.337_2018
  ☆67Updated 5 years ago
• mitmath / 18337
  18.337 - Parallel Computing and Scientific Machine Learning
  ☆235Updated last year
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆299Updated last week
• ericphanson / CombinatoricsNotes
  Notes from Math 550 at McGill University, from Winter 2016, taught by Prof. Sergey Norin.
  ☆14Updated 5 years ago
• ubsuny / CompPhys
  Computational Physics
  ☆30Updated 2 weeks ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• springer-math / adventures-in-graph-theory
  Sage source code for the computation of graphs and proofs from "Adventures in Graph Theory" by David Joyner and Caroline Grant Melles
  ☆13Updated 7 years ago
• mitmath / JuliaComputation
  Repository for Common Ground C25
  ☆98Updated 2 months ago
• mikinty / Axler-Linear-Algebra-Solutions
  Solutions to Linear Algebra Done Right by Sheldon Axler, 3rd Edition
  ☆16Updated 2 years ago
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆72Updated last week
• airbus / ED247_LIBRARY
  Example of ED-247 standard implementation
  ☆25Updated 4 months ago
• ntuhpc / training-ay1819
  sample code/text used in NTU HPC Internal Training during AY2018-2019
  ☆24Updated 5 years ago
• ACM-UCI / Fall-2015-Practice
  Practice problems from our algorithm practices
  ☆8Updated 9 years ago
• eth-vaw-glaciology / course-101-0250-00
  ETH course - Solving PDEs in parallel on GPUs
  ☆124Updated 2 months ago
• berkeley-gif / caladapt-docs
  A public repository of Cal-Adapt documentation and scripts
  ☆11Updated last year
• avigad / formal_methods_in_education
  A web page with resources for teaching with formal methods and tools.
  ☆14Updated last year
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆82Updated 3 months ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated last year
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆173Updated 4 months ago
• Algebraic-Programming / ALP
  Home of ALP/GraphBLAS and ALP/Pregel, featuring shared- and distributed-memory auto-parallelisation of linear algebraic and vertex-centri…
  ☆25Updated 2 weeks ago