A tool for monitoring the PlayableGraph in real-time within the Unity Editor.

Probabilistic language based on pattern matching and constraint propagation, 153 examples

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

A massively parallel, optimal functional runtime in Rust

Implementation of the "A Constraint-based Formulation of Stable Neo-Hookean Materials" paper in UE5

Browser-based visual programming language and platform for sound synthesis.

A modern proof language

A new Categories library for Agda

A purely functional programming language with first class types

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

Fast math typesetting for the web.

Experimental spaced repetition platform for exploring ideas in memory augmentation and programmable attention

Here lies a blog

An implementation of Pie in Haskell

A shell console with GUI features

Verified compilation of space-efficient reversible circuits

Netcode for GameObjects is a high-level netcode SDK that provides networking capabilities to GameObject/MonoBehaviour workflows within Unity and sits on top of underlying transport layer.

Unity multiplayer packages and samples

Entry for the GMTK 2020 game jam

Create beautiful diagrams just by typing notation in plain text.

Demo Project for Bleeding Edge Effects on Mobile 2020 GDC talk

Stock options, RSUs, taxes — read the latest edition: www.holloway.com/ec

Productive, portable, and performant GPU programming in Python.

10 differentiable physical simulators built with Taichi differentiable programming (DiffTaichi, ICLR 2020)

2D implementation of MLS-MPM for simulating soft bodies and fluids

Unity Standard Asset Controllers

Windows GUI frontent for Knob Sock

The Pie language, which accompanies The Little Typer by Friedman and Christiansen