Skip to content
View jzw2's full-sized avatar

Block or report jzw2

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
jzw2/README.md

Good job finding my github profile.

If you are reading this, I assume you are either a potential employer or otherwise stalking me for fun.

Languages

I've learned (and partially forgotten) a lot of languages. The mainstream ones that I used in university were

  • Python
  • Java
  • C++
  • C

But I quite enjoy some not as well known languages like

  • Rust
  • Haskell
  • Prolog

And some languages that I've used before but I've forgotten a decent amount

  • Ruby
  • Lua
  • Lisp
  • OCaml

In particular, I've written rust code on github as a compromise of my interests and practicality

Technologies

  • React:

    Back in 2020, I had an internship that had me learn React along with web technologies such as Typescript and CSS.

  • Docker:

    I have some basic experience with Docker and creating/using images.

  • Git:

    I have been using Git for almost 15 years. My Github account was made in 2017.

  • Linux:

    I use Nixos every day.

Interests

I was perviously more interested in academia as opposed to industry. Due to having more of a math background, I liked

  • Functional Programming
  • Haskell
  • Prolog
  • Formal Methods

About me / Mental Health struggles

I graduated from Urbana Champaign in 2021 with two degrees: BS in computer science and a BA in linguistics. I also got a minor in math.

I moved to Germany in 2022 to pursue a degree in computational linguistics. During this time, I had a lot of trouble making friends and was dissatisfied with the degree.

As a result, a lot of what I have to show on my Github is kind of old, as I have not been a very good mental state to write quality code. So if you are potential employer, I hope you understand my situation and still consider me for whatever position I applied for.

Pinned Loading

  1. KoordLanguage KoordLanguage Public

    Forked from cyphyhouse/KoordLanguage

    Parser for the Koord Language using Antlr

    Java 1

  2. rust-metamath rust-metamath Public

    A Metamath verifier written in rust

    Rust 1

  3. Uwu-Programming-Language Uwu-Programming-Language Public

    Some dumb programming language

    C++ 4

  4. rust-capr rust-capr Public

    Capr implemented in Rust

    Rust