Top New Best Ask Show Jobs

mrLSD-dev

98 karma · joined July 28, 2023

Professional Engineer, developer. https://github.com/mrLSD Ph.D. of Philosophy

submissions comments

F# RISC-V v0.6.0 released

github.com·4 pts·mrLSD-dev·

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny

arxiv.org·1 pts·mrLSD-dev·

Swift EVM (Ethereum Virtual Machine) new release v0.5.13

github.com·2 pts·mrLSD-dev·

Aurora EVM rust library: Cancun hard fork release

github.com·1 pts·mrLSD-dev·

Custom Semantic Analyzer library written Rust lang

github.com·19 pts·mrLSD-dev·

Rust library semantic-analyzer-rs for creating subset of compilers

github.com·2 pts·mrLSD-dev·

F# RISC-V Instruction Set formal specification

github.com·134 pts·mrLSD-dev·