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.
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.
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-stdlib
The Agda standard library
ci20-os
A couple of raw-code demos for the CI20 creator board (not an OS yet)
clowdr-web-app
github-pages-agda
Template repo demonstrating Literate Agda Markdown with Github Pages (/Jekyll)
PMOD
Verilog for interfacing to PMOD modules on a Zedboard FPGA
FlingOS
An educational operating system written in C#. A great stepping stone from high to low level development.
Worksheet-PDFs
Repository for current versions of the PDFs of worksheets for use on the website and at Digimakers.
EdNutting's Repositories
EdNutting/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.
EdNutting/clowdr-web-app
EdNutting/github-pages-agda
Template repo demonstrating Literate Agda Markdown with Github Pages (/Jekyll)
EdNutting/PMOD
Verilog for interfacing to PMOD modules on a Zedboard FPGA
EdNutting/clowdr-backend
Slack bot and REST services for clowdr
EdNutting/agda
Agda is a dependently typed programming language / interactive theorem prover.
EdNutting/agda-stdlib
The Agda standard library
EdNutting/agda-mode-vscode
agda-mode on VS Code
EdNutting/AutoInAgda
Proof automation – for Agda, in Agda.
EdNutting/clowdr-video-frontend
A collaboration application built with the twilio-video.js SDK and React.js
EdNutting/dj-stripe
Django + Stripe Made Easy
EdNutting/django-storages
EdNutting/docker-jekyll-agda
Agda (using Haskell Stack, GHC 8.6.5) on jekyll/builder (on Alpine Linux)
EdNutting/docker-jekyll-ghc
GHC 8.6.5 on jekyll/builder (on Alpine Linux)
EdNutting/docker-jekyll-ghcup
GHC-Up on jekyll/builder (which is based on Alpine Linux)
EdNutting/docker-jekyll-stack
Haskell Stack (using GHC 8.6.5) on jekyll/builder (on Alpine Linux)
EdNutting/EdNutting
Config files for my GitHub profile.
EdNutting/fix-whitespace
Fixes whitespace issues
EdNutting/ModuleSim
Tool for designing and testing Build-a-Comp layouts
EdNutting/nikon-firmware-tools
Tools used during the reversing of the Nikon firmware
EdNutting/Nine-Mens-Morris
A rough implementation in 4.5 hours of Nine Men's Morris for the Bristol Post-16 Programming Challenge
EdNutting/noise-camera
EdNutting/riscv-isa-sim
Spike, a RISC-V ISA Simulator
EdNutting/RockBlock-Iridium
Implementation of the AT command interface for RockBlock satellite devices connected to the Iridium network.
EdNutting/snowpack
WASM-powered frontend build tool. Fast, lightweight, unbundled ESM. ✌️
EdNutting/sst
💥 SST makes it easy to build full-stack serverless apps.
EdNutting/TypeScript-BulmaUI
TypeScript wrappers and other bits and pieces for working with Bulma UI.
EdNutting/TypeScript-CoreAPI
TypeScript CoreAPI wrappers and helper functions for use with Django Rest Framework.
EdNutting/TypeScript-Testing
In-browser testing framework, based on the Django testing model, using TypeScript, for use with Selenium.
EdNutting/verilog-i2c
Verilog I2C