Diderot-Language / diderot
The Diderot language compiler
☆15Updated last year
Related projects ⓘ
Alternatives and complementary repositories for diderot
- Examples of using Diderot☆11Updated 5 years ago
- The implementation of the Elevate language☆29Updated last week
- Universal Number Library☆40Updated 6 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆20Updated 2 years ago
- AnyDSL Runtime Library☆21Updated this week
- The Cubicle model checker☆13Updated 7 months ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 4 years ago
- A multicore microprocessor test harness for measuring interference☆13Updated 4 years ago
- generative programming & verification☆32Updated 2 years ago
- Memory consistency modelling using Alloy☆28Updated 3 years ago
- A standard for floating point accuracy benchmarks☆44Updated this week
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…☆10Updated 7 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- Data Dependence Analyzer in the Polyhedral Model☆19Updated last year
- Lace - implementation of work-stealing in C☆34Updated 6 months ago
- Lower Size Bounds for Sorting Networks☆43Updated 3 years ago
- ☆19Updated 7 years ago
- Implementation of the RISE language☆14Updated 4 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 8 years ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆21Updated 6 months ago
- Program Round-off Error Certifier via Static Analysis☆49Updated last month
- A framework that helps implementing swizzle GPU kernels☆41Updated 4 years ago
- A repository to test dialects defined dynamically.☆12Updated last year
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- Intel Heterogeneous Research Compiler (iHRC)☆25Updated last year