Giters
John van de Wetering (jvdwetering)

jvdwetering

Geek Repo

39

followers

0

following

8

stars

Company:University of Amsterdam

Location:Amsterdam, The Netherlands

Home Page:http://vdwetering.name

Github PK Tool:Github PK Tool

John van de Wetering's repositories

dizx

A qudit version of PyZX

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:7Issues:2Issues:0

zx-map

Map of all the people working on ZX-calculus related topics

Language:HTMLStargazers:3Issues:0Issues:0

Henk

Henk - a bot for Telegram

Language:PythonStargazers:1Issues:3Issues:0

book

A textbook on informal homotopy type theory

Language:TeXStargazers:0Issues:0Issues:0

jordanrewrite

Python script for rewriting long expressions in Jordan algebras, used for proving the fundamental equality

Language:TeXStargazers:0Issues:0Issues:0