Popular repositories Loading

1. qdt qdt Public

   Experimental incrementalised dependent type elaborator

   Lean 8

2. qdt-2 qdt-2 Public archive

   Lean 2

3. matterbridge matterbridge Public

   Forked from 42wim/matterbridge

   bridge between mattermost, IRC, gitter, xmpp, slack, discord, telegram, rocketchat, twitch, ssh-chat, zulip, whatsapp, keybase, matrix, microsoft teams, nextcloud, mumble, vk and more with REST API…

   Go 1

4. folderol folderol Public

   OCaml 1

5. golf golf Public

   Python 1

6. atfp atfp Public

   Lean 1