rmehri01

onenord.nvim

🏔️ A Neovim theme that combines the Nord and Atom One Dark color palettes for a more vibrant programming experience.

thock

⌨️ A modern TUI typing game featuring online racing against friends.

onenord-jetbrains

🏔️ A theme for JetBrains IDEs that combines the Nord and Atom One Dark color palettes for a more vibrant programming experience.

rlox

🥯 A bytecode compiler and virtual machine for the Lox language in Rust.

Game-Of-Life

🧬 An interactive implementation of Conway's Game of Life in Haskell.

Eterna

👾 Roguelike game made for my CPSC 210 project.

bidirectional

↔️ An implementation of "Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types" in Rust.

Housing-Finder

🏠 A robust and extensible housing finder powered by functional programming.

mazes

🌾 An implementation of Mazes for Programmers in Rust.

nvim

⚙️ My Neovim config

raytracer

🫖 An implementation of The Ray Tracer Challenge in Rust.

Big-Data-Weather-Analysis

🗺️ Analysis and visualization of gigabytes of weather data from over 40 years.

onenord-vscode

🏔 A theme for Visual Studio Code that combines the Nord and Atom One Dark color palettes for a more vibrant programming experience.

onenord-xcode

🏔️ A theme for Xcode that combines the Nord and Atom One Dark color palettes for a more vibrant programming experience.

bastardkb-qmk

Open-source keyboard firmware for Atmel AVR and Arm USB families

cargo

The Rust package manager

codegen-rs

A Rust library providing a builder API to generate Rust code - fork of https://github.com/carllerche/codegen

cpsc411-book

The WIP book for CPSC 411

crustal

Library for Assembling C/C++ Code from Rust

hedge-fuzz-storage

helix

A post-modern modal text editor.

neovim

Vim-fork focused on extensibility and usability

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

rmehri01

rust

Empowering everyone to build reliable and efficient software.

rust-analyzer

A Rust compiler front-end for IDEs

rust-smtlib2

A library to create SMT-LIB2 code from Rust.

servo

The Servo Browser Engine

z3guide

Tutorials and courses for Z3