Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: isa-semantics

akothen/Hydride

A retargetable and extensible synthesis-based compiler for modern hardware architectures

Language: LLVM - Size: 391 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 10 - Forks: 1

Related Keywords
automlir 1 compiler-construction 1 compilers 1 dsl 1 formal-semantics 1 formal-verification 1 halide 1 high-performance 1 instruction-selection 1 isa-semantics 1 llvm 1 mlir 1 program-synthesis 1 retargetability 1 vectorization 1