mkhan45

Purdue '24, CMU S3D Phd Student

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:Rust396 8 6117
CalcuLaTeX-Web
Basic web frontend for CalcuLaTeX
Language:JavaScript11 3 40
electronics
digital logic sim
Language:Rust16 3 02
learning_synthesis
PBE Synthesis with VSAs
Language:Rust8 3 00
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:OCaml36 4 282
SIMple-Gravity
Gravity simulator using Newton's Law of Universal Gravitation, made to help teach physics
Language:Rust44 4 32
SIMple-Mechanics
An educational physics sim for high school physics, part of the SIMple Physics project
Language:Rust32 3 425
slang-v2
Simple scripting language interpreter
Language:Rust24 3 31
tinyvm
An MVP stack VM
Language:Rust99 5 08

mkhan45's Repositories

mkhan45/tinyvm
An MVP stack VM
Language:Rust99 5 08
mkhan45/SIMple-Gravity
Gravity simulator using Newton's Law of Universal Gravitation, made to help teach physics
Language:Rust44 4 32
mkhan45/RustScript2
RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.
Language:OCaml36 4 282
mkhan45/learning_synthesis
PBE Synthesis with VSAs
Language:Rust8 3 00
mkhan45/SIMple-Physics
Metarepo for SIMple Physics, a set of educational physics simulators
Language:CSS8 3 0
mkhan45/rustscript_site
Personal resume/portfolio site written in RustScript
Language:HTML2 3 0
mkhan45/automac
Language:Rust1 2 0
mkhan45/clothsim
Language:Rust1 2 11
mkhan45/discord-microblog-cms
blog.mikail-khan.com/updates
Language:Elixir1 2 0
mkhan45/interactive_vsa
Language:Rust1 2 0
mkhan45/scalogic
Language:Scala1 2 0
mkhan45/egui-macroquad
egui bindings for macroquad
Language:Rust1 0
mkhan45/egui-miniquad
Language:Rust1 0
mkhan45/flappy-circuit
2 0
mkhan45/GenSym
GenSym, a compiler for parallel symbolic execution of LLVM
Language:Java1 0
mkhan45/lambda-calc-py
simple lc interpreter for a workshop
Language:Python2 0
mkhan45/lean
Language:Lean1 0
mkhan45/learning_prolog
Language:Prolog2 0
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:Python1 0
mkhan45/purduepl.github.io
A blog of Programming Languages Group @Purdue
Language:HTML1 0
mkhan45/shaders
shadertoy stuff for when I forget my password
Language:GLSL2 0
mkhan45/spring_constraint_demo
wip
Language:Rust2 0
mkhan45/sudoku-solver
demo sudoku solver
Language:OCaml2 0
mkhan45/typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:Rust1 0
mkhan45/unipy
logic programming?
Language:Python2 0
mkhan45/wasm_demo
for CS 390
Language:HTML2 0
mkhan45/wizard-engine
Research WebAssembly Engine