Final year Bachelor of Electrical Engineering (Honours) / Bachelor of Computer Science student at Griffith University.
- Brisbane, QLD
- https://madiab.io/
- in/madiabio
- @madiabio
Highlights
- Pro
Pinned Loading
-
portfolio-website
portfolio-website PublicPortfolio site containing a dashboard of my leetcode solve times. Built with nestjs, next.js, react and postgresql.
TypeScript
-
bass-synth
bass-synth PublicDigital bass synthesizer written in bare-metal C on a Tiva TM4C1294NCPDT microcontroller.
C 1
-
-
-
automated-first-order-logic-prover
automated-first-order-logic-prover PublicAn automated theorem prover for a subset of first order logic written in Rust
Rust
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



