Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
ante
A safe, easy systems language
hypermine
A hyperbolic voxel game
moment-of-symmetry
Moment of Symmetry (MOS) musical scale generation and analysis for Javascript
nalgebra
Linear algebra library for Rust.
num-rational
Generic Rational numbers for Rust
scale-workshop
Design and visualize microtonal scales and play them in your web browser. Export your scales for use with VST instruments. Convert Scala files to various tuning formats.
scale-workshop-core
Core library for creating microtonal scales without the Vue front-end.
sonic-weave
The SonicWeave DSL for manipulating musical frequencies, ratios and equal temperaments
temper
inthar-raven's Repositories
inthar-raven/agda
Agda is a dependently typed programming language / interactive theorem prover.
inthar-raven/ante
A safe, easy systems language
inthar-raven/hypermine
A hyperbolic voxel game
inthar-raven/moment-of-symmetry
Moment of Symmetry (MOS) musical scale generation and analysis for Javascript
inthar-raven/nalgebra
Linear algebra library for Rust.
inthar-raven/num-rational
Generic Rational numbers for Rust
inthar-raven/scale-workshop
Design and visualize microtonal scales and play them in your web browser. Export your scales for use with VST instruments. Convert Scala files to various tuning formats.
inthar-raven/scale-workshop-core
Core library for creating microtonal scales without the Vue front-end.
inthar-raven/sonic-weave
The SonicWeave DSL for manipulating musical frequencies, ratios and equal temperaments
inthar-raven/temper
inthar-raven/temperaments
Musical tunings/temperaments for Javascript