mkhan45

Purdue '24, CMU S3D

Pinned Repositories

CalcuLaTeX
A pretty printing calculator language with support for units. Makes calculations easier and more presentable with real time LaTeX output, along with support for units, variables, and mathematical functions.
Language:Rust393 8 6116
CalcuLaTeX-Web
Basic web frontend for CalcuLaTeX
Language:JavaScript110
electronics
digital logic sim
Language:Rust162
learning_synthesis
PBE Synthesis with VSAs
Language:Rust70
RustScript
RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.
Language:Java28 3 03
RustScript2
RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.
Language:OCaml34 4 282
SIMple-Gravity
Gravity simulator using Newton's Law of Universal Gravitation, made to help teach physics
Language:Rust43 4 32
SIMple-Mechanics
An educational physics sim for high school physics, part of the SIMple Physics project
Language:Rust30 3 425
slang-v2
Simple scripting language interpreter
Language:Rust23 4 31
tinyvm
An MVP stack based bytecode VM
Language:Rust93 6 08

mkhan45's Repositories

mkhan45/tinyvm
An MVP stack based bytecode VM
Language:Rust93 6 08
mkhan45/SIMple-Gravity
Gravity simulator using Newton's Law of Universal Gravitation, made to help teach physics
Language:Rust43 4 32
mkhan45/RustScript2
RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.
Language:OCaml34 4 282
mkhan45/SIMple-Physics
Metarepo for SIMple Physics, a set of educational physics simulators
Language:CSS8 3 0
mkhan45/learning_synthesis
PBE Synthesis with VSAs
Language:Rust70
mkhan45/rustscript_site
Personal resume/portfolio site written in RustScript
Language:HTML2
mkhan45/automac
Language:Rust1
mkhan45/clothsim
Language:Rust11
mkhan45/discord-microblog-cms
blog.mikail-khan.com/updates
Language:Elixir1
mkhan45/interactive_vsa
Language:Rust1
mkhan45/scalogic
Language:Scala1
mkhan45/egui-macroquad
egui bindings for macroquad
Language:Rust0 0
mkhan45/egui-miniquad
Language:Rust
mkhan45/flappy-circuit
2 0
mkhan45/GenSym
GenSym, a compiler for parallel symbolic execution of LLVM
Language:Java
mkhan45/ivy
The Unified Machine Learning Framework
Language:Python1 0
mkhan45/lambda-calc-py
simple lc interpreter for a workshop
Language:Python1 0
mkhan45/lean
Language:Lean
mkhan45/learning_prolog
Language:Prolog
mkhan45/miniquad
Cross platform rendering in Rust
Language:Rust
mkhan45/mkhan45.github.io
Language:Ruby3 0
mkhan45/nDreamBerd
perfect programming language
1 0
mkhan45/nvim_config
Language:Vim Script3 0
mkhan45/phys_scraper
dwai
Language:Python
mkhan45/purduepl.github.io
A blog of Programming Languages Group @Purdue
Language:HTML
mkhan45/spring_constraint_demo
wip
Language:Rust
mkhan45/sudoku-solver
demo sudoku solver
Language:OCaml
mkhan45/typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:Rust
mkhan45/unipy
logic programming?
Language:Python
mkhan45/wasm_demo
for CS 390
Language:HTML2 0