Henry Rovnyak

My Projects#

Here are some of the cool things I’ve been working on:

Qter In progress#

Turning a rubik’s cube into a computer using group theory. I’m currently working on the compiler from our custom programming language to rubik’s cube moves.

My teammate
Github

My Website Maintaining#

You’re here right now! A static site compiled by a Rust program around Pandoc. It contains whatever I feel like having on the interwebs.

Gitlab

Nebulous On pause#

A desktop application written in Rust and Svelte using Tauri. It allows you to keep an encrypted diary along with dates and categorization. I already use this every day!

Next steps: I’m rewriting the program in 100% Rust using Iced. It’s also missing features that are important to me like embedding images and a better tag system.

Gitlab

Light Encoder On pause#

A homemade functional programming language designed for programming light shows for individually addressable programmable lights. It comes with a website designed to be hosted on a Raspberry Pi that will allow lights plugged into its GPIO to be remotely controlled.

Next steps: Actually try it out and make something! I’m sure doing so would reveal any hidden horrible flaws I need to fix.

Language implementation
Website implementation

const-units On pause#

An experimental Rust crate implementing compile time verification of unit consistency using the experimental generic_const_exprs and adt_const_params features.

Next steps: I want to make it possible to express custom non-SI units like “pixels” or “bytes”.

crates.io

mmm… SOUP! Finished#

A video game written in Godot about grabbing letters out of soup to spell words. The game was made alongside two of my friends for the 2022-23 FBLA Computer Game and Simulation Programming event and we got 7th place (out of 15) in Pennsylvania!

Github

Minecraft Wasm Runtime Cancelled#

A minecraft mod whose end goal was adding WebAssembly plugin support to Minecraft as an alternative to Scarpet.

Originally it was implemented as a homemade WebAssembly bytecode interpreter in Java, but I threw out the code after learning about JNI and Wasmtime. This is the project where I first learned the Rust programming language. I stopped the project after realizing how much effort it would take to bring it to fully featured.

Github

Botter Finished#

A discord bot written in C# for my friends. It implements sniping (undeleting messages), querying images from google, and numerous RPG features, including battles, status effects, weapons, money, and in-game stock trading based on real life stock information.

Github

School counter Finished#

A silly website that would generate a countdown to the end of school as well as math art based on times tables from the value of the countdown.

Link
Github

Laser mod Finished#

A Minecraft mod adding lasers to Minecraft. The lasers have wavelength and strength parameters, each having different effects. The mod has laser emitters, detectors, mirrors, beam splitters, and fiber optics.

Github

The depths of my Github Finished#

When I started getting serious about programming, I made lots of little projects in raw Javascript and HTML. None of them are worth noting individually, so I’ll pick out a few of my favorites here:

Vogueify#

Edits a user-uploaded picture onto the cover of Vogue along with some effects implemented using image buffers. This was a trend going around at the time.

Link
Github

Markov Chain#

A random word generator using a Markov chain generated from a corpus. It supports arbitrary UTF-8 characters (like International Phonetic Alphabet), unlike any alternative I could find on the internet at the time. It’s super useful for generated randomized names.

Link
Github

Dot survival#

A simple canvas based game where you shoot at squares. One of my first finished projects (that I have records of)!

Link
Github