EdNutting

Pinned Repositories

• clowdr

  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, text chat, randomised networking and much more.

  Language:TypeScript59632220

• 8-bit-Minecraft-Computer

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

  Language:HTML7102

• agda

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

  Language:Haskell0000

• agda-stdlib

  The Agda standard library

  Language:Agda0100

• ci20-os

  A couple of raw-code demos for the CI20 creator board (not an OS yet)

  Language:Python2100

• clowdr-web-app

  Language:JavaScript2001

• github-pages-agda

  Template repo demonstrating Literate Agda Markdown with Github Pages (/Jekyll)

  Language:CSS2101

• PMOD

  Verilog for interfacing to PMOD modules on a Zedboard FPGA

  Language:Verilog2100

• FlingOS

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

  Language:C#5584410283

• Worksheet-PDFs

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

  Language:HTML11400

EdNutting's Repositories