Dependently Typed Metaprogramming Exercises

🫙🌶️ Spices makes it straightforward to create in-app debug menus by generating native UI from Swift.

Go app that allows you to access your reMarkable tablet files through the Cloud API

MIDI Library for Swift and Objective-C Mac and iOS apps.

A program for making music

Schematics of Super Synthesis production modules

A compatibility layer between Swift and RNBO.

Practical solutions to problems with Swift Concurrency

A dependently typed server framework for Idris

A book about category theory

MusicXML specification

An opinionated starting point for awesome, reusable Swift 6 modules

Save data from Mastodon to a SQLite database

A lightweight yet powerful audio-to-MIDI converter with pitch bend detection

UNIC: Unicode and Internationalization Crates for Rust

ADC X Dynamic Cast 2022 Practical Digital Signal Processing

A fast, friendly, functional language.

Info on resources for studying math, stats, CS, etc.

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

Expressive USB MIDI controller used to play melodic instruments or drums / samples.

Proving leftpad correct two-dozen different ways

serial MIDI parser for Bela

Belle, Bonne, Sage — music notation

A code visualizer for Swift. Made for April Fools' Day 2019.

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

A framework for applied category theory in the Julia language

iConfig Source Code

Safe Rust wrapper for the Bela.io API for realtime audio and sensor feedback