supleed2

Aadi Desai's repositories

omglolbadge

A simple Cloudflare Worker to provide a shorter URL for embedding an SVG badge on a page

Language:TypeScriptApache-2.04 10

cch23-8bit

Shuttle.rs Christmas Code Hunt 2023

Language:RustISC1 10

namehash-rs

CLI program for hashing domain names according to EIP-137

Language:Rust1 10

nanobot

Discord bot written with serenity-rs/poise and tokio-rs/axum, designed to run on Shuttle. It allows users to be de-anonymised and automatically verified for entry to a Discord server.

Language:RustISC1 10

udlink-docs

Repository containing the static HTML, CSS and JS files needed to host the UDlink Documentation / Homepage: https://udl.ink/

Language:HTMLISC1 10

go-chat

Go, chat! A basic irc-style chat server and client, written in Go using bubbletea and connecting via websockets

Language:GoISC010

.github

GitHub-related files, providing default funding, templates and other .github files

ISC010

advent-of-code-2022

My attempts at the Advent of Code 2022. They may not be idiomatic or performant but I'm keeping this as a record of my Rust ability and creativity as it was.

Language:RustMIT000

blog.8bit.lol-comments

Comments repository for blog.8bit.lol

ISC010

bot4koma

Discord bot to collate 4Koma messages (or any matching the chosen regex) in the set channel and provide an index of all posts

Language:Python010

cch24-8bit

Shuttle.dev Christmas Code Hunt 2024

Language:RustISC000

COMP70017-PoDL-CW

Coursework for COMP70017 Principles of Distributed Ledgers

Language:HTML010

COMP70017-PoDL-T2

Implementation of ERC20 and ERC721 as part of the Principles of Distributed Ledgers course

Language:Solidity010

cordic

SystemVerilog CORDIC block that converts from an input phase (sawtooth wave) to a sine wave

Language:SystemVerilogApache-2.0010

EIE4-FYP

Source files and notes of my Final Year Project, as part of an MEng in Electronics and Information Engineering from Imperial College London

Language:Python010

ELEC60011-DSD-CW

Coursework for ELEC60011: Digital System Design - a Quartus project containing a NIOS II soft-core and custom instruction hardware accelerators for the target function

Language:Verilog010

Coursework 2 for ELEC60013: Embedded Systems at Imperial College London - a music synthesizer with keys to cover one octave and the ability to daisy chain multiple devices to expand to cover more octaves

Language:C++020

ELEC70056-HSV-CW1

About Coursework 1 for ELEC70056: Hardware and Software Verification, Software Component - Verification of code using Dafny and the theorem-prover Isabelle

Language:Isabelle010

ELEC70056-HSV-CW2

About Coursework 2 for ELEC70056: Hardware and Software Verification, Hardware Component - Verification of SystemVerilog designs using assertions and timing statements

Language:SystemVerilog010