Stars
Synthesizer plug-in (previously released as Vember Audio Surge)
Framework for developing audio plugins with the Csound programming language.
A parser and type definition set for MusicXML.
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
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
being an operating system for typechecking processes
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
DuckDB is an analytical in-process SQL database management system
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
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.