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.
CalcuLaTeX-Web
Basic web frontend for CalcuLaTeX
electronics
digital logic sim
learning_synthesis
PBE Synthesis with VSAs
RustScript
RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.
RustScript2
RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.
SIMple-Gravity
Gravity simulator using Newton's Law of Universal Gravitation, made to help teach physics
SIMple-Mechanics
An educational physics sim for high school physics, part of the SIMple Physics project
slang-v2
Simple scripting language interpreter
tinyvm
An MVP stack based bytecode VM
mkhan45's Repositories
mkhan45/SIMple-Mechanics
An educational physics sim for high school physics, part of the SIMple Physics project
mkhan45/RustScript
RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.
mkhan45/SIMple-Electronics
digital logic sim
mkhan45/gravity-sim-rs
Gravity simulator using Newton's Law of Universal Gravitation
mkhan45/rocket_sim
An interactive rocket simulator inspired by Kerbal Space Program
mkhan45/awesome-programming-languages
The list of an awesome programming languages that you might be interested in
mkhan45/zeus
converts between commented python and ipynb
mkhan45/CogLens
mkhan45/aoc2022
mkhan45/bevy
A refreshingly simple data-driven game engine built in Rust
mkhan45/blog
blog
mkhan45/elixir_telnet_messager
mkhan45/kv_api
bad redis
mkhan45/learning_ocaml
mkhan45/macroquad
Cross-platform game engine in Rust.
mkhan45/mikail-khan.com
Personal website using Haskell's Servant framework and Blaze-HTML
mkhan45/mq-pong
mkhan45/mun
Source code for the Mun language and runtime.
mkhan45/python_pipe
Hacking pipe operator into python
mkhan45/rofi_scripts
useful rofi things
mkhan45/rust-mq-playground
Rust Macroquad browser playground
mkhan45/rustscript_toml
toml subset parser in rustscript
mkhan45/rustscript_web
Super simple static site generator, router, http server, and html templating library written in rustscript
mkhan45/script_bot
A Discord bot that registers and executes custom commands in sandboxed Python
mkhan45/shaders
shadertoy stuff for when I forget my password
mkhan45/shortener
basic insecure url shortener
mkhan45/ssh_game
Multiplayer Tic-Tac-Toe & Connect 4 over SSH
mkhan45/tagless-final-demo
Learning the tagless final pattern in Scala
mkhan45/VrooM
stack vm spitballing
mkhan45/xmonad
xmonad config