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
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆17Updated 2 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆23Updated 9 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆11Updated 6 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆15Updated 10 years ago
• awf / Coconut
  Shaking expression trees until something tasty pops out
  ☆17Updated 7 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• LLNL / unum
  Universal Number Library
  ☆44Updated 7 years ago
• Feldspar / feldspar-language
  The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…
  ☆47Updated 4 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated last week
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆54Updated 3 months ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• owlbarn / owl_symbolic
  Connect Owl with other accelerators and numerical frameworks with symbolic maths
  ☆20Updated 3 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated 2 months ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 3 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 7 months ago
• attresearch / yakker
  ☆23Updated 13 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆30Updated 8 months ago
• rewriting / tom
  ☆34Updated 5 years ago
• noshu / lbfgsb-sys
  Rust binding of fortran Limited memory LBFGS subroutine
  ☆14Updated 6 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 4 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆53Updated 3 years ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆21Updated 10 months ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆25Updated 4 years ago