IUP (Portable User Interface Toolkit) bindings for the Zig language.

Program to read files from replay files generated by Skullgirls

Minimal implementations for dependent type checking and elaboration

Fast equality saturation in Haskell

Optimize floating-point expressions for accuracy

Refinement types in Haskell, again

Compositional type checking for Haskell

Attoparsec parser combinators for parsing org-mode structured text!

A simple Linux dynamic loader capable of loading simple binaries using simple shared libraries (no glibc support)

Chapelure is a diagnostic library for Haskell

Source code error pretty printing

a modern tui library for go (mirror of git.sr.ht/~rockorager/vaxis)

A high performance rust-powered UI layout library

uops.info Code Analyzer

Haskell package for efficient AES encryption, including Intel AES NI support

A graphical processor simulator and assembly editor for the RISC-V ISA

libco is a cooperative multithreading library written in C89.

A Gameboy emulator written in Rust.

Frame profiler

Game Boy: Complete Technical Reference

ARM/ARM64 Neon intrinsics implemented in zig

Haskell port of the Nanopass Compiler Framework

Game Boy Advance Test Suite

Zig OpenGL binding generator

Production ready, modern web-application starter template using haskell and htmx

Audio encoding authentication and validation library for verifying audio as being from a trusted source

A Disco Elysium-themed template for Inkle's Inkjs port

a modern tui library written in zig