I love the overlap of math and CS. Functional programming and correctness/verification are incredibly interesting to me.
Stars
3
results
for source starred repositories
written in TeX
Clear filter
MetaPost library initially written to automate some elements of black and white illustrations for a physics textbook
Sources of the book “Problems for children from 5 to 15” by V. I. Arnold