Dylan Ede's repositories
cassowary-rs
A Rust implementation of the Cassowary constraint solving algorithm
chrono-engine-rs
Rust bindings for Chrono Engine, an open source physics engine.
vulkan-malloc
A Rust implementation of a general purpose device memory allocator for Vulkan
glsl-to-spirv-macros
Rust macros for generating SPIR-V binaries at compile time for use with Vulkan.
agda-stdlib
The Agda standard library
constrained
A collection of algorithms for constrained optimisation problems, written in Rust.
cubical-experiments
Experiments towards non-standard analysis in cubical Agda
lime-suite-sys
Raw Rust bindings to LimeSuite
lttng-ust-rs
lttng-ust bindings for Rust
pretty-clippy
"Better" web interface for clippy.bashy.io logs
shaderc-rs
Rust bindings for the shaderc library.
VulkanMemoryAllocator
Easy to integrate Vulkan memory allocation library