Submissions from github.com/willcrichton

		An IDE plugin for Rust that helps you focus on relevant code (github.com/willcrichton)
		2 points by wspeirs on Dec 15, 2023 \| past
		Interactive quizzes for Markdown (github.com/willcrichton)
		1 point by hazelnut-tree on Sept 11, 2022 \| past \| 1 comment
		Nota: A Web Framework for Academic Papers (github.com/willcrichton)
		2 points by lnyan on Oct 7, 2021 \| past
		Tyrade: Language for type-level programming in Rust (github.com/willcrichton)
		2 points by jaytaylor on Sept 29, 2021 \| past
		Flowistry helps you understand Rust programs with program analysis (github.com/willcrichton)
		153 points by ibraheemdev on Sept 28, 2021 \| past \| 18 comments
		Tyrade: A pure functional language for type-level programming in Rust (github.com/willcrichton)
		3 points by wcrichton on Aug 14, 2020 \| past
		Tyrade: A pure functional language for type-level programming in Rust (github.com/willcrichton)
		3 points by agluszak on June 16, 2020 \| past
		Tyrade: A pure functional language for type-level programming in Rust (github.com/willcrichton)
		2 points by wcrichton on June 15, 2020 \| past
		Lia – A high-level language for Rust (github.com/willcrichton)
		2 points by neverminder on June 14, 2016 \| past