Konata is an instruction pipeline visualizer for Onikiri2-Kanata/Gem5-O3PipeView formats. You can download the pre-built binaries from https://github.com/shioyadan/Konata/releases

The Standard ML compiler that produces Lua/JavaScript

Autoware - the world's leading open-source software project for autonomous driving

SurgeFuzz: Surge-Aware Directed Fuzzing for CPU Designs (ICCAD 2023)

🕵️ Haskell STatic ANalyser

Dockerfile(s) for GHC

Generator of runtime monitors for flight and robotics applications.

Mozc - a Japanese Input Method Editor designed for multi-platform

WebAssembly Micro Runtime (WAMR)

Small ONNX inference runtime written in Rust

RSD: RISC-V Out-of-Order Superscalar Processor

Proposed changes to Haskell Core Libraries

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Galois RISC-V ISA Formal Tools

Locus site for Public Review of Several RISC-V ISA Formal Specs

Operation Vanguard: fixing a number of Haskell packages at once

Increse your Haskell development via ghcid!

Haskell port of the WebAssembly OCaml reference interpreter

The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)

The Ott tool for writing definitions of programming languages and calculi

Toolchain for WebAssembly

Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. How to contribute: https://firefox-source-docs.mozilla.org/contributing/contribution_quickref.html

WebAssembly Virtual Machine

The WebAssembly Binary Toolkit

Optimizer and compiler/toolchain library for WebAssembly

WebAssembly specification, reference interpreter, and test suite.