ednutting Goto Github PK
Name: Ed Nutting
Type: User
Company: VyperCore
Bio: Entrepreneur, Engineer, Educator, Innovator
Location: Cambridge/London/Bristol, UK
Name: Ed Nutting
Type: User
Company: VyperCore
Bio: Entrepreneur, Engineer, Educator, Innovator
Location: Cambridge/London/Bristol, UK
Design and world files for my 8-bit computer built inside Minecraft. Watch the tutorial series and live builds on YouTube.
Agda is a dependently typed programming language / interactive theorem prover.
agda-mode on VS Code
The Agda standard library
Proof automation βΒ for Agda, in Agda.
A couple of raw-code demos for the CI20 creator board (not an OS yet)
Slack bot and REST services for clowdr
A collaboration application built with the twilio-video.js SDK and React.js
Javascript client library for Core API.
The Minecraft Server Mod API Implementation
Django + Stripe Made Easy
Agda (using Haskell Stack, GHC 8.6.5) on jekyll/builder (on Alpine Linux)
GHC 8.6.5 on jekyll/builder (on Alpine Linux)
GHC-Up on jekyll/builder (which is based on Alpine Linux)
Haskell Stack (using GHC 8.6.5) on jekyll/builder (on Alpine Linux)
dotnet is the official home of .NET on GitHub. It's a great starting point to find many .NET OSS projects from Microsoft and the community, including many that are part of the .NET Foundation.
Config files for my GitHub profile.
Fixes whitespace issues
Template repo demonstrating Literate Agda Markdown with Github Pages (/Jekyll)
Tool for designing and testing Build-a-Comp layouts
Tools used during the reversing of the Nikon firmware
A rough implementation in 4.5 hours of Nine Men's Morris for the Bristol Post-16 Programming Challenge
PicoRV32 - A Size-Optimized RISC-V CPU
Verilog for interfacing to PMOD modules on a Zedboard FPGA
Spike, a RISC-V ISA Simulator
Implementation of the AT command interface for RockBlock satellite devices connected to the Iridium network.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.