utils

Various utility programs for processing data, etc.

Name		Name	Last commit message	Last commit date
Latest commit History 100 Commits
.gitignore		.gitignore
LectureTempl.html		LectureTempl.html
README.md		README.md
add_level.awk		add_level.awk
count_user_procs.sh		count_user_procs.sh
create_page.py		create_page.py
create_pages.py		create_pages.py
doc2html.awk		doc2html.awk
endp.sh		endp.sh
extract_doc.awk		extract_doc.awk
faculty.py		faculty.py
fmt.awk		fmt.awk
h2details.awk		h2details.awk
head.sh		head.sh
html_include.awk		html_include.awk
index.html		index.html
index_templ.html		index_templ.html
nrml.sh		nrml.sh
pick_quizzes.py		pick_quizzes.py
quiz2html.py		quiz2html.py
quiz2test.py		quiz2test.py
setup_server.sh		setup_server.sh
sieve.py		sieve.py
style.css		style.css
word_freq.sh		word_freq.sh

Provide feedback