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 2 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆16Updated 7 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• LLNL / unum
  Universal Number Library
  ☆41Updated 7 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 10 months ago
• dpiponi / Legendre
  Some notes on the relationship between the Legendre and Fourier transforms
  ☆11Updated 4 years ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• noshu / lbfgsb-sys
  Rust binding of fortran Limited memory LBFGS subroutine
  ☆14Updated 5 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• HPAC / ReLAPACK
  Recursive LAPACK Collection
  ☆42Updated 3 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 4 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• riswords / quiche
  ☆21Updated 2 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆49Updated 3 weeks ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• arpra-project / arpra
  Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.
  ☆23Updated 2 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• mangpo / chlorophyll
  Synthesis-Aided Compiler for GreenArrays GA144
  ☆52Updated 8 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆25Updated 7 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆39Updated this week
• danielesgit / slingen
  Program Generator for Small-Scale Linear Algebra Applications
  ☆29Updated 6 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• eholk / rust-stl
  Stereo lithography file support for Rust.
  ☆11Updated last year
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago