Agda is a dependently typed programming language / interactive theorem prover.

SFML bindings for Rust

A selectable table lib for egui

Dataframes powered by a multithreaded, vectorized query engine, written in Rust

A Creative Coding Framework for Rust.

A Blender extension for an easy-to-use remesher that outputs good-quality quad topology

Core Scenic library

Elixir is a dynamic, functional language for building scalable and maintainable applications

Safe, fully-featured bindings to the Tracy profiler

Frame profiler

an artistic programming language made to be embedded into projects and to build domain-specific-languages

My UI Widget library for V

Interactive graph visualization widget for rust powered by egui and petgraph

The MAX Platform (includes Mojo)

A fast and flexible evolution engine for implementing artificial evolution and genetic programming techniques

A cross-platform UI library written in V

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

Empowering everyone to build reliable and efficient software.

Build your node graph applications in Rust, using egui

2D plotting library in Rust for egui

Rust VST3 and CLAP plugin framework and plugins - because everything is better when you do it yourself

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

A refreshingly simple data-driven game engine built in Rust

Rust audio playback library

A declarative GUI library written in Rust

Library for audio processing and synthesis