diku-dk / pfp-e2019-pub
Public repository for the 2019 Parallel Functional Programming course at DIKU
☆14Updated 5 years ago
Alternatives and similar repositories for pfp-e2019-pub:
Users that are interested in pfp-e2019-pub are comparing it to the libraries listed below
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- A multicore microprocessor test harness for measuring interference☆14Updated 4 years ago
- A minimal development of SSA theory☆108Updated this week
- A framework that helps implementing swizzle GPU kernels☆42Updated 4 years ago
- embedding MLIR in LEAN☆47Updated 8 months ago
- A enumerator for MLIR, relying on the information given by IRDL.☆18Updated 5 months ago
- A translation validation framework for MLIR☆80Updated 3 months ago
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- Galois RISC-V ISA Formal Tools☆56Updated last year
- Memory consistency modelling using Alloy☆28Updated 4 years ago
- ☆40Updated 3 years ago
- FPGA synthesis tool powered by program synthesis☆41Updated 2 months ago
- ☆25Updated 2 years ago
- FPGA-based HyperLogLog Accelerator☆12Updated 4 years ago
- Parallel Functional Programming, 2020☆15Updated last year
- Gallina to Bedrock2 compilation toolkit☆52Updated last week
- Parallel ML benchmark suite☆15Updated last month
- Libraries useful for Dafny programs☆43Updated 2 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- LLVM backend for Accelerate☆163Updated 5 months ago
- The implementation of the Elevate language☆29Updated 2 weeks ago
- Verilog development and verification project for HOL4☆25Updated 3 months ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆10Updated this week
- SSA vs ANF☆42Updated 9 years ago
- compiling DSLs to high-level hardware instructions☆22Updated 2 years ago
- A formal semantics of the RISC-V ISA in Haskell☆161Updated last year
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆17Updated this week
- The Shine compiler for the RISE language☆76Updated 3 months ago