wdeweijer

Pinned Repositories

book
A textbook on informal homotopy type theory
Language:TeX2k 122 634360
coq-elpi
Coq plugin embedding elpi
Language:Coq138 10 18151
qBittorrent
qBittorrent BitTorrent client
Language:C++27.7k 417 16k3.9k
book
A textbook on informal homotopy type theory
Language:TeX0 1 00
coq-elpi
Coq plugin embedding elpi
Language:OCaml00
LorentzRREF
Language:Lean1 2 00
PC22
Course material of the autumn school "Proof and Computation", 26 September to 1 October 2022, Fischbachau, Germany
Language:Agda00
qBittorrent
qBittorrent BitTorrent client
Language:C++00
qrip
A C implementation of https://github.com/tomsmeding/rip-lang
Language:C1 2 00
Tribes-Training-Tool
A program to train your Tribes: Ascend capping skill.
Language:C#00

wdeweijer's Repositories

wdeweijer/LorentzRREF
Language:Lean1 2 00
wdeweijer/qrip
A C implementation of https://github.com/tomsmeding/rip-lang
Language:C1 2 00
wdeweijer/book
A textbook on informal homotopy type theory
Language:TeX0 1 00
wdeweijer/coq-elpi
Coq plugin embedding elpi
Language:OCaml00
wdeweijer/PC22
Course material of the autumn school "Proof and Computation", 26 September to 1 October 2022, Fischbachau, Germany
Language:Agda00
wdeweijer/qBittorrent
qBittorrent BitTorrent client
Language:C++00
wdeweijer/Tribes-Training-Tool
A program to train your Tribes: Ascend capping skill.
Language:C#00