Alternatives and similar repositories for examples:

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

• Diderot-Language / diderot
  The Diderot language compiler
  ☆15Updated last year
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆16Updated 7 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆19Updated this week
• LLNL / unum
  Universal Number Library
  ☆41Updated 6 years ago
• noshu / lbfgsb-sys
  Rust binding of fortran Limited memory LBFGS subroutine
  ☆14Updated 5 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆46Updated last year
• HPAC / ReLAPACK
  Recursive LAPACK Collection
  ☆42Updated 3 years ago
• metagraph-dev / mlir-graphblas
  MLIR tools and dialect for GraphBLAS
  ☆18Updated 2 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• YoWASP / clang
  Unofficial clang WebAssembly packages
  ☆16Updated 7 months ago
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated 11 months ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• owlbarn / owl_symbolic
  Connect Owl with other accelerators and numerical frameworks with symbolic maths
  ☆19Updated 2 years ago
• Libbum / Wafer
  Parallelized 3D FDTD Schrödinger Equation Solver
  ☆21Updated 6 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• riswords / quiche
  ☆21Updated 2 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆21Updated 3 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 4 years ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆55Updated last year
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆20Updated last year
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago