Diderot-Language / examples
Examples of using Diderot
☆11Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for examples
- The Diderot language compiler☆15Updated last year
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- A C-family AST implementation designed to be an IR for DSL compilers.☆16Updated 7 years ago
- An LLVM interface for Lean 4. (WIP)☆15Updated last year
- NumLin: Linear Types for Linear Algebra☆23Updated last year
- the Meta-II VM in C☆19Updated 9 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆10Updated 9 years ago
- Julia Implementation of Unums☆42Updated 7 years ago
- ☆22Updated 10 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 7 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Recursive LAPACK Collection☆42Updated 2 years ago
- An algorithm for generating random doubles.☆12Updated 7 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- SQL query interface to C++ collections and C data structures. Also configurable as a loadable Linux kernel module and an extension to Val…☆14Updated 6 years ago
- Connect Owl with other accelerators and numerical frameworks with symbolic maths☆18Updated 2 years ago
- Universal Number Library☆40Updated 6 years ago
- GluCat: Clifford algebra templates☆19Updated 3 months ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆13Updated last year
- Futspace is a voxel based graphics engine implemented in Futhark☆8Updated 4 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- DSL for stencils and image processing☆13Updated 8 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 11 months ago
- Parallelized 3D FDTD Schrödinger Equation Solver☆21Updated 6 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- ☆19Updated 7 years ago