rmehri01/bidirectional

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Rust
License
MIT License
Created about 1 year ago
Updated about 1 year ago

rmehri01/bidirectional

rmehri01

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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.

Housing-Finder

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

raytracer

🫖 An implementation of The Ray Tracer Challenge in Rust.

nvim

⚙️ My Neovim config

mazes

🌾 An implementation of Mazes for Programmers in Rust.

onenord-xcode

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

Big-Data-Weather-Analysis

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

site

⚛️ My site built with React, Next.js, and Tailwind!