About

Hi! I'm a CS and Math student currently studying at Willamette University.
I am interested in many things, including:

• Open-Source Software
• Cryptography
• Operating Systems
• Compilers, Interpreters, and Language Design
• Ternary Virtual Machines
• Formal Methods

My Favorite Projects

• Ternary Virtual Machine (jt1701)
  • v1
    • A virtual machine which operates on a virtual machine code made up of ternary Trits, utilizing balanced ternary as the intrinsic system of ternary.
    • Old version contains a Harvard architecture stack-based simple virtual machine (a proof of concept), and a simple 2-pass assembler.
  • v2 (main branch) contains work on a von Neumann architecture virtual machine, and:
    • Access to 27 (3^3) ternary registers
    • 3^27 Trits (3 Trytes) identity mapped memory
    • Custom Arm-inspired RISC assembly instruction set assembler (datasheet in progress)
    • TODO: C3 (C, for ternary word sizes) compiler targeting jt1701 assembly. (Assembler will be called PO, for ??? Object)
    • TODO: Simple operating system written in 3C and jt1701 assembly
  • Note: I am pretty sure this is currently the most powerful ternary computer in existence (or to ever exist), even implemented purely in software.
• Ternary Huffman Compression
  • Implemented a ternary huffman tree.
  • On a ternary system, naive huffman compression is more efficient than binary.
  • This would not be true for simulated ternary systems, but would be true for a true ternary system
• 4D Rotating Hypercube
  • 3D Terminal Renderer, which can display and rotate any 3D object comprised of straight lines
  • 4D Rendering capabilities, the 4D object is projected into 3D using weak perspective projection, just like 3D is projected onto the 2D screen
• Crust
  • Compiler for a C-like language with Rust style Algebraic Type System
  • Utilized inkwell (Rust llvm bindings)
• LaTeX Interpreter
  • A turing-complete programming language with syntax inspired by LaTeX.
  • A kind of sequel to my compiler, this is a fully interpreted language, intended to be embedded into the JimTeX IDE.
  • Nearly fully functional (functions can be passed as functions to functions, but not returned, mutability is handled with reassignment)
  • Examples are in the jimtex_interpreter library as tests, run with $ cargo test -- --nocapture to view console output.
• Encryption
  • Contains 3 parts:
    • src, which contains a custom polynomial xor based masking algorithm
    • primes_lib/src, which contains an implementation of the RSA algorithm in Rust
    • LWE implementation (post-quantum Cryptography) w/ custom Linear Algebra Library written specifically for constant-sized matrices
• Turing Machine
  • An implementation of a turing machine in Rust
  • Allows for saving states of the tape, as well as programatically constructing them
• Star Trek Episode Picker
  • Recreation of my very first CS project. Originally written in Java, I used Rust this time, acnd compiled it to WASM.
  • It's available here

Skills

I have worked professionally with:

     

I am skilled in:

           

I am proficient in:

   

I am interested in: