3 skills found
mit-plv / Riscv SemanticsA formal semantics of the RISC-V ISA in Haskell
akothen / HydrideA retargetable and extensible synthesis-based compiler for modern hardware architectures
GaloisInc / Language SleighA parser for the Sleigh language, which is used to represent ISA semantics in Ghidra