Skip to content
View z5h's full-sized avatar
🕳️
🕳️

Sponsoring

@SWI-Prolog

Highlights

  • Pro

Block or report z5h

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Read Kagi News on Playdate

Python 12 Updated Oct 8, 2025

Pattern matching for Prolog with library(reif).

Prolog 4 Updated Oct 7, 2025

A FreeCHR instance written in Zig

Zig 4 1 Updated Oct 20, 2024

Copy of the CCHR Constraint Handling Rules implementation in C

Prolog 21 5 Updated Nov 18, 2021

Mozart Programming System v2

Oz 596 107 Updated Feb 10, 2025

Simple Hotkey Daemon for macOS, ported from skhd by koekeishiya

Zig 250 3 Updated Aug 27, 2025

A Tree Parser Generator

C 101 30 Updated Oct 2, 2024

The Lobster Programming Language

C++ 2,524 135 Updated Oct 8, 2025

CakeML: A Verified Implementation of ML

Standard ML 1,085 90 Updated Oct 9, 2025

The Handheld Music Studio for Playdate

Lua 7 Updated Feb 7, 2025

An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.

Scheme 21 1 Updated Mar 19, 2024

Language based on Rewriting Logic

C++ 138 15 Updated Oct 7, 2025

Elm RealWorld example application architected with the Effect pattern.

Elm 42 3 Updated May 15, 2020

A rewrite of the Ante compiler

Rust 3 2 Updated Sep 25, 2025

mGB - Nintendo Gameboy MIDI control for Arduinoboy

Assembly 253 32 Updated Jul 16, 2024

TaskPaper shared source code for TaskPaper license holders

JavaScript 46 7 Updated Feb 3, 2025

Parametric 2d/3d CAD

C++ 3,578 532 Updated Sep 16, 2025

Frequency modulation synthesizer plugin (VST2, CLAP). Runs on macOS, Windows and Linux.

Rust 732 20 Updated Jul 3, 2024

Game Boy / Game Boy Color music tracker

C++ 129 4 Updated Sep 21, 2025

Cycle accurate Yamaha YM2151 emulator

C 83 6 Updated Aug 25, 2022

Music DSP library written in C (Backup of https://github.com/PaulBatchelor/Soundpipe, which has disappeared)

C 13 2 Updated Aug 25, 2020

The Tulip Creative Computer - a portable Python synthesizer for music and graphics

C 527 34 Updated Oct 5, 2025

Yamaha DX7 modeling DSSI soft synth

C 122 15 Updated Sep 28, 2022

Lightweight Embedded Audio Framework

C 212 30 Updated Aug 4, 2025

Micro Music Macro Language - An MML Implementation for 1-Bit Music on AVR Microcontrollers

C 112 6 Updated Mar 10, 2023

a 16 track synthesizer/sampler for the playdate console

Lua 38 1 Updated Aug 11, 2025
Lua 8 2 Updated Jul 14, 2025

Tamagotchi emulator for the Playdate

C 2 Updated Jul 8, 2025

A high performance Game Boy emulator for the Playdate™

C 237 6 Updated Oct 9, 2025

A configuration framework that enhances Claude Code with specialized commands, cognitive personas, and development methodologies.

Python 16,602 1,483 Updated Oct 8, 2025
Next