Submissions from github.com/mrlsd

		Swift EVM (Ethereum Virtual Machine) new release v0.5.13 (github.com/mrlsd)
		2 points by mrLSD-dev 3 months ago \| past \| 3 comments
		Custom Semantic Analyzer library written Rust lang (github.com/mrlsd)
		19 points by mrLSD-dev on Dec 21, 2023 \| past
		Rust library semantic-analyzer-rs for creating subset of compilers (github.com/mrlsd)
		2 points by mrLSD-dev on Sept 28, 2023 \| past \| 1 comment
		F# RISC-V Instruction Set formal specification (github.com/mrlsd)
		134 points by mrLSD-dev on July 29, 2023 \| past \| 42 comments
		F# RISC-V Instruction Set Formal Specification (github.com/mrlsd)
		122 points by adamnemecek on Oct 20, 2019 \| past \| 16 comments
		F# RISC-V Instruction Set Formal Specification (github.com/mrlsd)
		1 point by adamnemecek on Oct 14, 2019 \| past
		New open source F# RISC-V ISA formal specification and CPU simulation (github.com/mrlsd)
		2 points by sfxws2006 on Oct 3, 2019 \| past