Skip to content
View ryandancy's full-sized avatar
4 followers · 4 following
  • Waabi
  • Toronto
  • 15:19 (UTC -04:00)

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report ryandancy

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

Hello!

I'm Ryan Dancy (he/him). I'm an incoming master's student at the University of Oxford studying Mathematics and Foundations of Computer Science. I graduated in 2024 from Software Engineering at the University of Waterloo, Canada. I'm currently working as an AI research intern at Waabi.

Previously:

Pinned Loading

  1. WatForm/fortress WatForm/fortress Public

    Fortress: Finite Model Finder for Many-Sorted First-Order Logic

    Scala 5

  2. uw-midsun/firmware_xiv uw-midsun/firmware_xiv Public

    All the firmware for MSXIV!

    C 13 3

  3. cellular-automata cellular-automata Public

    Conway's Game of Life and similar automata.

    C++ 1

  4. logikos logikos Public

    A logic gate simulator for simulating computer hardware.

    Java 1

  5. variant-tap variant-tap Public

    An Android game. Get it on Google Play!

    Java 1

  6. library-app library-app Public

    A web application for library management in JS, including a RESTful Node.js backend and an AngularJS frontend.

    HTML 1