Code for paper: RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code

Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.

Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.

Generate typesafe Rust bindings for wgsl shaders in wgpu

A rust library for the steam web api

A Blender project for batch generating and rendering spinning Asteroids.

Personal project building an ai baby monitor on a Rasberry pi

Adapters for external AAC and Opus decoders to be used with Symphonia

Inkle Ink runtime implementation in Rust

Detect concurrency and memory bugs and possible panic locations in Rust projects

A simple, but powerful ReplayGain 2.0 tagging utility

Ludax is a domain-specific language for board games that automatically compiles into hardware-accelerated learning environments with the JAX library

Random greedy pixel pattern generation algorithm

Powerful and flexible mid-level audio engine for games and other applications

High level Lua 5.5/5.4/5.3/5.2/5.1 (including LuaJIT) and Luau bindings to Rust with async/await support

[TMLR] The code of "Return-Aligned Decision Transformer"

COO: Comic onomatopoeia dataset (ECCV 2022)

Research project of Ciallo for SIGGRAPH publication

The Ink language parser and runtime implementation in Lua

Tower defence game with some puzzling

A new way to LÖVE.

Adds the Prometheus and Aegis cores back into the game, and redistributes all millspec cores to different factions

Grammar-based Game Description Generation using Large Language Models (Transactions on Games)

Slang Shader Vim syntax highlighting

SDL3 bindings for Rust

Lexbor is development of an open source HTML Renderer library. https://lexbor.com