#
Lists (1)
Starred repositories
24
stars
written in TeX
Clear filter
Bootstrap yourself to write an OS from scratch. A book for self-learner.
An open-source, customizable intermediate logic textbook
Is Parallel Programming Hard, And If So, What Can You Do About It?
Учебное пособие по защите информации кафедры радиотехники и систем управления МФТИ
Slides, figures, and other material for teaching using tracing and observability on FreeBSD
List of bugs found in distributed protocols
Russian translation of Okasaki's Purely Functional Data Structures
Public snapshots of "ACSL by Example"
A helper document about the Alloy specification language
PIGTIKAL (puzzles in geometry that I know and love)
Школа яхтенного капитана. Составитель: Е.П. Леонтьев. 1983
Школа яхтенного рулевого. Под общей редакцией Е.П. Леонтьева. 1974
Предварительный вариант перевода книжки Уинклера --- замечания приветсвуются.