Kshitij Sharma's repositories
betterinformatics
Welcome to Better Informatics. The student run website for students in the School of Informatics.
Language:TeXNOASSERTION000
latexify_py
Generates LaTeX math description from Python functions.
Language:PythonApache-2.0000
sail
Sail architecture definition language
Language:IsabelleNOASSERTION000