A parser and type definition set for MusicXML.

Music Notation CG next-generation music markup proposal.

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Library for expressive game audio.

A python library for notating music in a graphics-first paradigm

Lightning-fast and Powerful Code Editor written in Rust

Pusher Channels client library for Flutter targeting IOS, Android, and WEB

(de)serializer generator

Random Data Generator for arbitrary data types

being an operating system for typechecking processes

Tools to Assist in Music Composition

Espaço para a divulgação de vagas para desenvolvedores backend via issues do Github.

Resources for type theory, functional programming, etc.

Common Lisp Music Notation processor for different output formats (MusicXML, Lilypond, cmn) by David Psenicka. See also cm-fomus repo here

A vi-like editor based on Plan 9's structural regular expressions

A tiny immediate-mode UI library

A few essays on communism

DuckDB is an analytical in-process SQL database management system

The TenDRA Project

A text editor in less than 1000 LOC with syntax highlight and search.

extensible Markdown library and tool in "pure OCaml"

Cat - a statically typed functional stack-based programming language

Pulseaudio command line mixer

Basically ido for X, I guess?

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

A Coq IDE build on top of Proof General's Coq mode

Fast, safe and composable streaming abstractions.

Functional programming with fewer indirections

Patoline typesetting system

A lightweight text editor written in Lua