The Modular Platform (includes MAX & Mojo)

Circuit IR Compilers and Tools

Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older versio…

CMake Tools provides a robust, convenient workflow for CMake projects in VS Code. It simplifies configurations with CMake presets, supports IntelliSense and built-in debugging for CMake scripts, an…

Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with…

A NES emulator written in Ruby

Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes

CRuby + OMR Technology Preview

Lunch with colleagues preferential voting app.