Naafiyan Ahmed's repositories
obsidian-lean4-abbreviations
WIP - Using the lean4 abbreviations to generate appropriate unicode symbols when taking notes in obsidian
chip8-rs
Chip8 Emulator in Rust
Language:Rust000
cs1690-docker
A docker setup for Weenix.
Language:Shell000
csci2390-assignments
CSCI 2390 assignment stencil code
Language:Python000
Language:NewLisp000
Language:C000
naafreddit
based on ben awad fullstack react, graphql, typescript tutorial
pathfinding-visualizer-java
Pathfinding Visualizer in Java
tictactoe-js
TicTacToe using JS (Modules and Factory Patterns)
Language:Lean000
mongododm-rs
A thin ODM layer for mongodb with support for deletion analysis
Language:Rust000
obsidian-rust-template
A starting point for creating Rust-based Obsidian templates (with Rust compiled to WebAssembly).
Language:TypeScript000
obsidian.nvim
Obsidian 🤝 Neovim
Language:LuaApache-2.0000
reminders-cli
A simple CLI for interacting with macOS reminders
Language:SwiftMIT000
Language:Java000
websubmit-rs
Class submission system
Language:Rust000