supleed2 Goto Github PK

followers: 29.0 following: 180.0 repos: 37.0 gists: 1.0

Name: Aadi Desai

Type: User

Company: @Imperial College London

Bio: MEng Graduate in Electronics and Information Engineering | Imperial College London

Twitter: supleed2

Location: London, UK

Blog: https://8bit.lol

Hi 👋

⛏️ I’m currently working on go-chat and this profile
🔭 I'm interested in backend design and systems programming
🌱 I’m currently learning Rust and Go
💬 Reach out anytime, via socials found on my homepage, on LinkedIn, or via this form
📝 I plan to document projects and thoughts on this blog
⚡ Just got into indoor bouldering, it's tiring but exhilarating!
💯 Markdown: we love human-readable formats

Skills

Roughly in order of ability / preference

Languages

Tools

Other

Recent Projects

go-chat: A basic irc-style chat server and client, written in Go using bubbletea and connecting via websockets
cch23-8bit: Not a standalone project, but my entry to the 2023 Shuttle.rs Christmas Code Hunt, written in Rust using the Axum framework
nanobot: A Discord bot written in Rust, using the Poise framework, providing automated verification of society membership for the Discord server
svls-vscode: Contributed to this VSCode extension, designed to work with the svls language server, providing in-editor style / syntax linting, snippets, and syntax highlighting for SystemVerilog files
FPGA Accelerator for StackSynth, Imperial Y4 Final Project: Accelerator board for the Synthesizer Project below, using an OrangeCrab FPGA to produce CD-quality audio samples in real-time
Synthesizer, Imperial Y3 Spring Term Project: Firmware for a single-octave synthesizer, written in C++, with multiple octaves usable by chaining boards together
Pet Tracker, Imperial Y3 Autumn Term Project: Pet Tracker using the FindMy Network as a backbone to exfiltrate basic data from onboard sensors and ultra-low-power location tracking

Education

🎓 Imperial College London: September 2019 - June 2023
- MEng in Electronics and Information Engineering, Final Project
📚 Queen Elizabeth's, Barnet: September 2012 - August 2019
- A Levels: A* Maths, A* Physics, A Further Maths (+AS Product Design)

GitHub Stats

Aadi Desai's Projects

.github

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

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.

apbdriver

Basic APB-compatible module designed for use with Verilator, but should work with any DPI-C compatible simulator.

axitest

AXI4-Lite compatible Driver module for use with Verilator and other DPI-C compatible simulators.

bot4koma

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

comp70017-podl-cw

Coursework for COMP70017 Principles of Distributed Ledgers

comp70017-podl-t2

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

cordic

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

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

elec40006-p1-cw

Yr1 Summer Term Project, ARM-based CPU designed to be simulated in Icarus Verilog

elec50003-p1-cw

Yr2 Summer Term Rover Project, files for the various modules that make up an autonomous rover, designed to be similar to the 3D printer Pronterface UI

elec50010-iac-cw

Synthesizable 32-bit MIPS 1 CPU, uses a memory-mapped bus to access memory and peripherals. (Unverified Commits are from before I signed commits)

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

elec60013-es-cw1

Coursework 1 for ELEC60013: Embedded Systems at Imperial College London - a pet-tracking IoT without the need for an embedded GPS, codename: Barkr

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

elec60015-hlp-cw

Coursework for ELEC60015: High Level Programming - adding functionality to the ISSIE program in F#, further work continues on upstream repository

elec70056-hsv-cw1

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

elec70056-hsv-cw2

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

giscus

Self-hosted copy of Giscus: A comment system powered by GitHub Discussions. :octocat: :speech_balloon: :gem:

go-chat

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

gondilinabot-python

Deprecated - Dad bot that replies when Dad is offline

icas

Static Cloudflare Pages website with Worker to handle verification of login details and authenticate users with: https://github.com/supleed2/nanobot

namehash-rs

CLI program for hashing domain names according to EIP-137

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.