A modern, cross-platform way to manage your OPL game collection.

A Super Nintendo Emulator for Sony Playstation 2

ASIO for Rocksmith 2014

Wasm interpreter in lean, designed for reasoning

A single-instruction GPU virtual machine and toolchain

CIRCT and Yosys interoperability, demonstrated with CHISEL

Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

Multiplayer CMOS Standard Cell Chips Reverse Engineering Tool

Lattice iCE40 Primitive IP

Yosys RTL ▷ Haskell

Pokemon Emerald in WebAssembly

An icon theme mainly based in the Haiku OS look

Fast stackful fibers with a NUMA-aware work-stealing scheduler

hardware implementation of transformers running microgpt at 50k+ tkps

Linux payload implementing HV exploits to run a custom bootloader

A work-in-progress core language for Agda, in Agda

LLM-Assisted Hardware Formal Verification Tool

Flexible toolkit for making desktop shells with QtQuick, for Wayland and X11

A sleek, customizable desktop shell crafted for Wayland.

Floating Point Semantics Mechanization for Lean

Header-only C++ library for low precision floating point type emulation.

A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point

Collection of Open Source Speech Data

SpinalHDL implementation of the 3dfx Voodoo Graphics GPU

Algebraic proof discovery in Agda

Open source GPU in VHDL

Emacs minor mode for tracing Verilog signal drivers interactively via Yosys

An interpreter of Hagino's Categorical Programming Language (CPL).

Nyxt - the hacker's browser.

Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine