A simple superscalar out-of-order RISC-V microprocessor

Open-source high-performance RISC-V processor

A collection of RISC-V Vector (RVV) benchmarks to help developers write portably performant RVV code. (Results)

A collection of RISC-V Vector (RVV) benchmarks to help developers write portably performant RVV code

The CompCert formally-verified C compiler

The MacPorts ports tree

RISC-V Online Help

Tramp integration for LXC containers

macOS native Matrix client

It's like undelete for your git repository.

An OSX style genie effect inside your iOS app.

Ruby's rdbg debugger support for Nova.

A Ruby APNs HTTP/2 gem able to provide instant feedback.

Home of the WebKit project, the browser engine used by Safari, Mail, App Store and many other applications on macOS, iOS and Linux.

SSA-based JIT Compiler - A personal project inspired by college courses on compilers

Working draft of "GraphQL over HTTP" specification

Custom view controller transitions: scary, but not THAT scary.

WebAuthn ruby server library ― Make your Ruby/Rails web server become a conformant WebAuthn Relying Party

Build and execute GraphQL queries in the terminal.

Ruby on Rails

GraphQL execution using a JIT compiler

Spotify Reverse Engineering tools and scripts

Open Source Spotify client library

A purely functional programming language with first class types

[WWDC 22 Swift Student Challenge Winner] Pegboard, a SwiftUI based node-editor workspace for game dev and more

Open Source Spotify client library

CachedAsyncImage is the simplest way to add cache to your AsyncImage.

A pytest plugin to facilitate image comparison for Matplotlib figures

Haskell library for space- and time-efficient operations over Unicode text.