Submissions from pyjarrett.github.io

		Writing Anteforth, a Forth-Like in Spark (pyjarrett.github.io)
		4 points by todsacerdoti 14 days ago \| past
		Writing a Verified Postfix Expression Calculator (pyjarrett.github.io)
		2 points by ajdude 7 months ago \| past
		Writing a Verified Postfix Calculator in Ada/Spark (pyjarrett.github.io)
		8 points by Bogdanp 7 months ago \| past
		Four Months with Ada (pyjarrett.github.io)
		9 points by fanf2 on June 19, 2024 \| past \| 4 comments
		Comparing Ada to Other Languages (pyjarrett.github.io)
		3 points by thefilmore on Sept 26, 2022 \| past
		Clearing up Myths about Ada (pyjarrett.github.io)
		138 points by jayp1418 on Sept 10, 2021 \| past \| 115 comments
		Summary After Four Months with Ada (pyjarrett.github.io)
		286 points by thindil on Aug 29, 2021 \| past \| 175 comments
		Ada in 2021 Overview (pyjarrett.github.io)
		2 points by todsacerdoti on May 11, 2021 \| past