diku-dk / pfp-e2019-pub
Public repository for the 2019 Parallel Functional Programming course at DIKU
☆14Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for pfp-e2019-pub
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- A translation validation framework for MLIR☆73Updated last week
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆10Updated this week
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- Verilog development and verification project for HOL4☆24Updated 2 weeks ago
- Memory consistency modelling using Alloy☆28Updated 3 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆17Updated 2 months ago
- ☆41Updated 3 years ago
- A minimal development of SSA theory☆88Updated this week
- FPGA synthesis tool powered by program synthesis☆38Updated this week
- The source code to the Voss II Hardware Verification Suite☆53Updated 2 months ago
- A framework that helps implementing swizzle GPU kernels☆41Updated 4 years ago
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- A multicore microprocessor test harness for measuring interference☆13Updated 4 years ago
- Galois RISC-V ISA Formal Tools☆56Updated 10 months ago
- ☆25Updated 2 years ago
- Retargetable ML compilers for the twenty-first century!☆12Updated 2 months ago
- Gallina to Bedrock2 compilation toolkit☆50Updated last month
- ☆27Updated last year
- embedding MLIR in LEAN☆47Updated 5 months ago
- Libraries useful for Dafny programs☆43Updated last week
- A formally verified high-level synthesis tool based on CompCert and written in Coq.☆88Updated 5 months ago
- A formal semantics of the RISC-V ISA in Haskell☆156Updated last year
- A standard for floating point accuracy benchmarks☆44Updated 2 weeks ago
- The Shine compiler for the RISE language☆73Updated 2 weeks ago
- Egraphs Modulo Theories☆14Updated last month
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆27Updated 2 months ago
- compiling DSLs to high-level hardware instructions☆21Updated 2 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆13Updated 4 years ago
- Search-based compiler for high-performance DSP programming☆61Updated 3 weeks ago