Country adjacency datasets

A project to map out the relations between different equational theories of Magmas.

State of the art sorting and segmented sorting, including OneSweep. Implemented in CUDA, D3D12, and Unity style compute shaders. Theoretically portable to all wave/warp/subgroup sizes.

A nearly complete collection of prefix sum algorithms implemented in CUDA, D3D12, Unity and WGPU. Theoretically portable to all wave/warp/subgroup sizes.

🤘 TT-NN operator library, and TT-Metalium low level kernel programming model.

Research shading language IR

Ising model 2D javascript simulation

Educational Proof Assistant for Type Theory

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

Generation of abstract binding trees

Development repository for the CodeMirror editor project

The web demo of the implementation of Ultimate Conditional Syntax in MLscript. This is a part of the artifact for paper "The Ultimate Conditional Syntax".

Kotlin/JS declarations generator

Kotlin wrappers for popular JavaScript libraries

Cross-platform general-purpose computing Kotlin Multiplatform library

TypeScript type definitions for WebGPU https://gpuweb.github.io/types/

WGSL plugin for IntelliJ and CLion

Unofficial description of the CUDA assembly (SASS) instruction sets.

A library of mechanised undecidability proofs in the Coq proof assistant.

Time Integration Package

MONA - a decision procedure for monadic second-order logic on finite strings and trees

Implementation of decision procedure for WS1S logic

A d-DNNF reasoner.