Pinned Loading

1. clowdr-app/clowdr clowdr-app/clowdr Public archive

   Midspace (formerly Clowdr) is a completely open-source virtual conference platform. Host complex events with hundreds of authors and presenters. Midspace includes automated livestreams, video chat,…

   TypeScript 59 20

2. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell

3. 8-bit-Minecraft-Computer 8-bit-Minecraft-Computer Public

   Design and world files for my 8-bit computer built inside Minecraft. Watch the tutorial series and live builds on YouTube.

   HTML 7 2

4. agda-stdlib agda-stdlib Public

   Forked from agda/agda-stdlib

   The Agda standard library

   Agda

5. FlingOS/FlingOS FlingOS/FlingOS Public archive

   An educational operating system written in C#. A great stepping stone from high to low level development.

   C# 558 84

6. MVSE-Outreach/Worksheet-PDFs MVSE-Outreach/Worksheet-PDFs Public

   Repository for current versions of the PDFs of worksheets for use on the website and at Digimakers.

   HTML 1