harmonylang / harmony
A Python-like programming language for testing and experimenting with concurrent programs.
☆15Updated this week
Related projects ⓘ
Alternatives and complementary repositories for harmony
- FPGA synthesis tool powered by program synthesis☆38Updated this week
- Haskell bindings for MLIR☆97Updated last month
- embedding MLIR in LEAN☆47Updated 5 months ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated last year
- Official page for 18-847C (Spring '22): Data Center Computing☆16Updated 2 years ago
- compiling DSLs to high-level hardware instructions☆21Updated 2 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆71Updated 5 months ago
- Take your first step in writing a compiler. Implemented in Rust.☆15Updated last year
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆69Updated this week
- Quantum circuits compiler with staging and continuations☆15Updated this week
- Being a full-stack hacker, RISCV, LLVM, and more.☆18Updated 3 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- TiledKernel is a code generation library based on macro kernels and memory hierarchy graph data structure.☆19Updated 6 months ago
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- simple snapshot-style integration testing for commands☆67Updated 4 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆16Updated 2 years ago
- An attempt at safe imperative GPU programming.☆28Updated 7 months ago
- benchmarking e-graph extraction☆36Updated 2 weeks ago
- The Shine compiler for the RISE language☆73Updated 2 weeks ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Updated 3 years ago
- A translation validation framework for MLIR☆73Updated last week
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆38Updated 4 months ago
- ☆27Updated last year
- RISC-V Specification in Coq☆109Updated 3 months ago
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆14Updated 5 years ago
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- Python bindings for egg☆47Updated last year
- Linux source code for ISCA 2020 paper "Enhancing and Exploiting Contiguity for Fast Memory Virtualization"☆17Updated 4 years ago
- Wrapper for ETH Ariane Core☆19Updated 3 months ago