Pinned Repositories
bidirectional
↔️ An implementation of "Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types" in Rust.
Eterna
👾 Roguelike game made for my CPSC 210 project.
Game-Of-Life
🧬 An interactive implementation of Conway's Game of Life in Haskell.
Housing-Finder
🏠 A robust and extensible housing finder powered by functional programming.
mazes
🌾 An implementation of Mazes for Programmers in Rust.
onenord-jetbrains
🏔️ A theme for JetBrains IDEs that combines the Nord and Atom One Dark color palettes for a more vibrant programming experience.
onenord.nvim
🏔️ A Neovim theme that combines the Nord and Atom One Dark color palettes for a more vibrant programming experience.
raytracer
🫖 An implementation of The Ray Tracer Challenge in Rust.
rlox
🥯 A bytecode compiler and virtual machine for the Lox language in Rust.
thock
⌨️ A modern TUI typing game featuring online racing against friends.
rmehri01's Repositories
rmehri01/onenord.nvim
🏔️ A Neovim theme that combines the Nord and Atom One Dark color palettes for a more vibrant programming experience.
rmehri01/thock
⌨️ A modern TUI typing game featuring online racing against friends.
rmehri01/onenord-jetbrains
🏔️ A theme for JetBrains IDEs that combines the Nord and Atom One Dark color palettes for a more vibrant programming experience.
rmehri01/rlox
🥯 A bytecode compiler and virtual machine for the Lox language in Rust.
rmehri01/Game-Of-Life
🧬 An interactive implementation of Conway's Game of Life in Haskell.
rmehri01/Eterna
👾 Roguelike game made for my CPSC 210 project.
rmehri01/bidirectional
↔️ An implementation of "Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types" in Rust.
rmehri01/Housing-Finder
🏠 A robust and extensible housing finder powered by functional programming.
rmehri01/mazes
🌾 An implementation of Mazes for Programmers in Rust.
rmehri01/nvim
⚙️ My Neovim config
rmehri01/onenord-xcode
🏔️ A theme for Xcode that combines the Nord and Atom One Dark color palettes for a more vibrant programming experience.
rmehri01/raytracer
🫖 An implementation of The Ray Tracer Challenge in Rust.
rmehri01/Big-Data-Weather-Analysis
🗺️ Analysis and visualization of gigabytes of weather data from over 40 years.
rmehri01/onenord-vscode
🏔 A theme for Visual Studio Code that combines the Nord and Atom One Dark color palettes for a more vibrant programming experience.
rmehri01/bastardkb-qmk
Open-source keyboard firmware for Atmel AVR and Arm USB families
rmehri01/cargo
The Rust package manager
rmehri01/codegen-rs
A Rust library providing a builder API to generate Rust code - fork of https://github.com/carllerche/codegen
rmehri01/cpsc411-book
The WIP book for CPSC 411
rmehri01/crustal
Library for Assembling C/C++ Code from Rust
rmehri01/hedge-fuzz-storage
rmehri01/helix
A post-modern modal text editor.
rmehri01/neovim
Vim-fork focused on extensibility and usability
rmehri01/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
rmehri01/rmehri01
rmehri01/rust
Empowering everyone to build reliable and efficient software.
rmehri01/rust-analyzer
A Rust compiler front-end for IDEs
rmehri01/rust-smtlib2
A library to create SMT-LIB2 code from Rust.
rmehri01/servo
The Servo Browser Engine
rmehri01/z3guide
Tutorials and courses for Z3