🎶 Markup language for music creation and analysis! -- https://hlorenzi.github.io/musicode/

A group of methods to make Crystal more programmer friendly (extracted from Rails ActiveSupport, Powerpack and others)

single-header, programmer-friendly json library for C99 and C++

FuncSug is a simple alternative to event-driven programming and game loops. No main loops or event-action associations any more thanks to concurrency, waiting for specific events and a special handling of interruptions.

[in progress] Using Agda - for programmers