mkhan45

tinyvm

An MVP stack based bytecode VM

SIMple-Gravity

Gravity simulator using Newton's Law of Universal Gravitation, made to help teach physics

RustScript2

RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.

SIMple-Physics

Metarepo for SIMple Physics, a set of educational physics simulators

learning_synthesis

PBE Synthesis with VSAs

rustscript_site

Personal resume/portfolio site written in RustScript

automac

clothsim

discord-microblog-cms

blog.mikail-khan.com/updates

interactive_vsa

scalogic

egui-macroquad

egui bindings for macroquad

egui-miniquad

flappy-circuit

GenSym

GenSym, a compiler for parallel symbolic execution of LLVM

ivy

The Unified Machine Learning Framework

lambda-calc-py

simple lc interpreter for a workshop

lean

learning_prolog

miniquad

Cross platform rendering in Rust

mkhan45.github.io

nDreamBerd

perfect programming language

nvim_config

phys_scraper

dwai

purduepl.github.io

A blog of Programming Languages Group @Purdue

spring_constraint_demo

wip

sudoku-solver

demo sudoku solver

typst

A new markup-based typesetting system that is powerful and easy to learn.

unipy

logic programming?

wasm_demo

for CS 390