WebAssembly proposal for wide arithmetic

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

The Task Parallel System Composer (TaPaSCo)

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

MRSIC32 ISA documentation and development

Fast floating point to string conversion

A new generation cloud backup tool

A UI layout system

Multi-Language Platform for Dynamic Programming Languages

A fast BVH using SAH in rust

Interactive CPU path tracer

A Vulkan implementation of real-time PBR renderer

Rust implementation of SPIR-V module processing functionalities

Simple verification of Rust programs via functional purification in Lean 2(!)

A toy ray tracer in Rust

A higher dimensional raytracing prototype with non-euclidean-like features

(More or less) accurate floating point algorithms