Popular repositories Loading

1. qrip qrip Public

   A C implementation of https://github.com/tomsmeding/rip-lang

   C 1

2. LorentzRREF LorentzRREF Public

   Lean 1

3. Tribes-Training-Tool Tribes-Training-Tool Public

   Forked from MollerVictor/Tribes-Training-Tool

   A program to train your Tribes: Ascend capping skill.

   C#

4. book book Public

   Forked from HoTT/book

   A textbook on informal homotopy type theory

   TeX

5. PC22 PC22 Public

   Forked from cj-xu/PC22

   Course material of the autumn school "Proof and Computation", 26 September to 1 October 2022, Fischbachau, Germany

   Agda

6. qBittorrent qBittorrent Public

   Forked from qbittorrent/qBittorrent

   qBittorrent BitTorrent client

   C++