stevekane

taichi

Productive, portable, and performant GPU programming in Python.

KaTeX

Fast math typesetting for the web.

HVM

A massively parallel, optimal functional runtime in Rust

og-equity-compensation

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

MarkovJunior

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

penrose

Create beautiful diagrams just by typing notation in plain text.

xiki

A shell console with GUI features

Kind

A modern proof language

Idris2

A purely functional programming language with first class types

difftaichi

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

com.unity.netcode.gameobjects

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.

orbit

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

multiplayer

Unity multiplayer packages and samples

noisecraft

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

UniMath

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

souffle

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.

pie

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

Standard-Assets-Characters

Unity Standard Asset Controllers

agda-categories

A new Categories library for Agda

incremental_mpm

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

UnityPlayableGraphMonitorTool

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

pie-hs

An implementation of Pie in Haskell

claymore

BleedingEdgeEffects_GDC_2020

Demo Project for Bleeding Edge Effects on Mobile 2020 GDC talk

Softbody_Physics_UE5

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

ReVerC

Verified compilation of space-efficient reversible circuits

KnobMonitor

Windows GUI frontent for Knob Sock

gamejam2020

Entry for the GMTK 2020 game jam

grappler

Blog

Here lies a blog