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
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• riswords / quiche
  ☆23Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 8 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆30Updated 5 months ago
• mangpo / chlorophyll
  Synthesis-Aided Compiler for GreenArrays GA144
  ☆53Updated 8 years 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
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 2 years ago
• dpiponi / Legendre
  Some notes on the relationship between the Legendre and Fourier transforms
  ☆11Updated 4 years ago
• LLNL / unum
  Universal Number Library
  ☆44Updated 7 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆52Updated 5 months ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated 2 months ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• ucb-sejits / ctree
  A C-family AST implementation designed to be an IR for DSL compilers.
  ☆17Updated 8 years ago
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated 3 months ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• uw-unsat / jitsynth
  ☆18Updated 5 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆21Updated 9 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last year
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 7 months ago
• AnyDSL / anydsl
  Meta project to quickly build dependencies
  ☆103Updated 3 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆35Updated 4 years ago