Skip to content
View ariscript's full-sized avatar
46 followers · 82 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@teamhyper @TheCodingDen @transitmatters @RichWasm @pawtograder @neu-cs2000

Block or report ariscript

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
ariscript/README.md

Hi, I'm Ari! 👋🏽

I'm a second-year student at Northeastern University, majoring in Computer Science and minoring in Mathematics!

I'm interested in using the formal tools from logic and mathematics to reason about programs and create tools to improve the safety and reliability of our critical software, while providing a good experience for developers. I have experience with proof mechanization in Rocq and implementing compilers in languages like Rust and OCaml.

I also occasionally play around with the Minecraft protocol and make somewhat useful things with it (at least useful to me). Additionally, I have experience with web technologies and making "native" desktop applications with Electron.

I'm also involved with the Labs team for TransitMatters, a Boston-based group that advocates for improvements to local and regional transit, and have done some work on the TransitMatters dashboard.

Check out my website!

Feel free to contact me via the socials linked there, or email if necessary.

🏳️‍⚧️

My GitHub stats
My most used languages

Pinned Loading

  1. minidusa minidusa Public

    CS 3620 Project, smaller version of Dusa implemented in Racket

    Racket

  2. parrot parrot Public

    Pyrets Are veRifying coRrectness thrOugh Testing

    OCaml

  3. www www Public

    My own place on the World Wide Web.

    Nunjucks 2

  4. webicon webicon Public

    Fetch favicons "fast".

    Rust 3

  5. mc-query mc-query Public

    Asynchronous rust implementations of Server List Ping, Query, and RCON for minecraft.

    Rust 10 4

  6. multiserver multiserver Public

    MultiServer is an application that makes managing multiple Minecraft servers a breeze.

    TypeScript 11 1