8000 MathewKJ2048 (Mathew K J) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View MathewKJ2048's full-sized avatar
34 followers · 35 following
  • University of Waterloo
  • Waterloo, Canada

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Block or report MathewKJ2048

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
MathewKJ2048/README.md

Hi there 👋

I'm doing my masters in computer science from the University of Waterloo, working on formal methods. I did my undergrad in IIT Tirupati, in computer science and engineering.

I have experience with the following languages and technologies:

  • Java (gradle, swing)

  • Javascript (express.js, node.js, typescript, svelte.js, react.js, wasm, vite, react.js, three.js)

  • python (numpy, scikit-learn, matplotlib, selenium, pygame-ce, curses)

  • C/C++

  • Dart (Flutter)

  • TLA+

  • Alloy

  • Coq

  • SQL

  • flex/bison

  • RISC-V assembly

  • Bash scripting

  • 📫 How to reach me: mathewkj2048@gmail.com

Pinned Loading

  1. Vrishchik-RISC-V-emulator Vrishchik-RISC-V-emulator Public

    An open-source RISC-V emulator written in java, with pipelining and data-forwarding

    Java 2

  2. RSA-encryption RSA-encryption Public

    An application to encrypt messages using the RSA algorithm, written in java using the swing framework.

    Java

  3. Lexical-Analyser Lexical-Analyser Public

    An open-source tool which constructs a DFA from the given regular expression

    Java

  4. Rabbit Rabbit Public

    An open-source recursive-descent parser generator which supports syntax directed translation of LL(1) grammars, written in and compatible with java.

    Java

  5. garden garden Public

    a garden-simulator using cellular automata

    Python 1

  6. spherical_billiards spherical_billiards Public

    Billiards on a spherical table

    Python

0